Coq

Coq - proof assistant. This programming language is the 168^th most popular in the global Wikipedia ranking of programming languages and the 219^th most popular programming language in Ukrainian Wikipedia. Article "Coq" in Ukrainian Wikipedia has 24.1 points for quality (as of August 1, 2024). The article contains 6 references and 10 sections.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that language version.

Since the creation of article "Coq", its content was written by 6 registered users of Ukrainian Wikipedia and edited by 330 registered Wikipedia users in all languages.

Coq is on the 219^th place in local ranking of programming languages in Ukrainian Wikipedia and on the 168^th place in global ranking of programming languages in all the time.

The article is cited 16 times in Ukrainian Wikipedia and cited 373 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Ukrainian): #2658 in December 2019
• Global: #21280 in April 2004

The highest popularity rank from 2008:

• Local (Ukrainian): #79702 in December 2019
• Global: #150907 in April 2021

There are 12 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from August 1, 2024 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	English (en) Coq (software)		38.9759
2	German (de) Coq (Software)		34.2615
3	Chinese (zh) Coq		25.0341
4	Ukrainian (uk) Coq		24.129
5	Portuguese (pt) Coq		24.0981
6	Russian (ru) Coq		23.8687
7	French (fr) Coq (logiciel)		19.6796
8	Finnish (fi) Coq		15.9546
9	Greek (el) Coq		14.3332
10	Japanese (ja) Coq		14.0752

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Coq" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Coq (software)		897 942
2	French (fr) Coq (logiciel)		124 132
3	Russian (ru) Coq		94 551
4	Japanese (ja) Coq		76 139
5	German (de) Coq (Software)		54 674
6	Chinese (zh) Coq		32 208
7	Spanish (es) Coq		31 301
8	Portuguese (pt) Coq		5 617
9	Greek (el) Coq		3 815
10	Finnish (fi) Coq		1 900

More...

The following table shows the language versions of the article with the highest popularity in the last month.

The most popular language versions of the article "Coq" in July 2024

#	Language	Popularity award	Relative popularity
1	English (en) Coq (software)		6 260
2	French (fr) Coq (logiciel)		1 484
3	German (de) Coq (Software)		604
4	Japanese (ja) Coq		513
5	Russian (ru) Coq		392
6	Chinese (zh) Coq		361
7	Spanish (es) Coq		119
8	Portuguese (pt) Coq		42
9	Dutch (nl) Coq		11
10	Greek (el) Coq		10

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Coq" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Coq (software)		148
2	French (fr) Coq (logiciel)		73
3	German (de) Coq (Software)		36
4	Russian (ru) Coq		23
5	Japanese (ja) Coq		15
6	Spanish (es) Coq		10
7	Chinese (zh) Coq		8
8	Ukrainian (uk) Coq		6
9	Greek (el) Coq		5
10	Finnish (fi) Coq		2

More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

Language versions of the article "Coq" with the highest AI in July 2024

#	Language	AI award	Relative AI
1	French (fr) Coq (logiciel)		7
2	English (en) Coq (software)		1
3	German (de) Coq (Software)		0
4	Greek (el) Coq		0
5	Spanish (es) Coq		0
6	Finnish (fi) Coq		0
7	Japanese (ja) Coq		0
8	Dutch (nl) Coq		0
9	Portuguese (pt) Coq		0
10	Russian (ru) Coq		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Coq" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Coq (software)		157
2	French (fr) Coq (logiciel)		66
3	Russian (ru) Coq		36
4	Chinese (zh) Coq		26
5	Japanese (ja) Coq		21
6	German (de) Coq (Software)		20
7	Ukrainian (uk) Coq		16
8	Spanish (es) Coq		13
9	Portuguese (pt) Coq		7
10	Greek (el) Coq		6

More...

#	Language	Value
de	German Coq (Software)
el	Greek Coq
en	English Coq (software)
es	Spanish Coq
fi	Finnish Coq
fr	French Coq (logiciel)
ja	Japanese Coq
nl	Dutch Coq
pt	Portuguese Coq
ru	Russian Coq
uk	Ukrainian Coq
zh	Chinese Coq

Best Rank

Ukrainian: #79702 12.2019

Global: #150907 04.2021

Best Rank

Ukrainian: #2658 12.2019

Global: #21280 04.2004

On 6 April 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Adolescence, Val Kilmer, A Minecraft Movie, Alexander Ovechkin, Donald Trump, 2025 Formula One World Championship, Wayne Gretzky, deaths in 2025, The White Lotus, 1923.

In Ukrainian Wikipedia the most popular articles on that day were: Паша Технік, Литвиненко Таїсія Йосипівна, Юнацтво (телесеріал), KN-23, Minecraft: Фільм, Україна, Воррен Баффет, FREEДОМ, Вейн Грецкі, Гантер Шафер.

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from August, 2024. When calculating current popularity and AI of articles data from July 2024 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information