Coq

Rocq - proof assistant. This programming language is the 181^st most popular in the global Wikipedia ranking of programming languages and the 172^nd most popular programming language in Russian Wikipedia. Article “Coq” in Russian Wikipedia has 25.3 points for quality (as of July 1, 2025). The article contains 12 references and 12 sections. The article also contains templates indicating quality issues, therefore its score was reduced by 1.33 points.

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

Since the creation of article “Coq”, its content was written by 23 registered users of Russian Wikipedia and edited by 356 registered Wikipedia users in all languages.

Rocq is on the 172^nd place in local ranking of programming languages in Russian Wikipedia and on the 181^st place in global ranking of programming languages in all the time.

The article is cited 37 times in Russian Wikipedia and cited 402 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Russian): #10501 in February 2009
• Global: #21281 in April 2004

The highest popularity rank from 2008:

• Local (Russian): #107196 in December 2014
• Global: #189280 in December 2014

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 July 1, 2025 (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) Rocq		44.6474
2	German (de) Rocq		34.7991
3	Russian (ru) Coq		25.2814
4	Chinese (zh) Coq		24.9332
5	Portuguese (pt) Coq		24.1124
6	Ukrainian (uk) Coq		22.9433
7	French (fr) Rocq (logiciel)		20.7379
8	Finnish (fi) Coq		15.9638
9	Japanese (ja) Coq		14.7618
10	Greek (el) Coq		14.2736

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) Rocq		697 733
2	French (fr) Rocq (logiciel)		132 478
3	Russian (ru) Coq		100 524
4	Japanese (ja) Coq		81 853
5	German (de) Rocq		57 756
6	Chinese (zh) Coq		35 142
7	Spanish (es) Coq		32 554
8	Portuguese (pt) Coq		6 166
9	Greek (el) Coq		4 045
10	Finnish (fi) Coq		2 100

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 June 2025

#	Language	Popularity award	Relative popularity
1	English (en) Rocq		5 987
2	French (fr) Rocq (logiciel)		819
3	Japanese (ja) Coq		665
4	Russian (ru) Coq		423
5	German (de) Rocq		281
6	Chinese (zh) Coq		219
7	Spanish (es) Coq		124
8	Portuguese (pt) Coq		56
9	Greek (el) Coq		22
10	Finnish (fi) Coq		19

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) Rocq		160
2	French (fr) Rocq (logiciel)		80
3	German (de) Rocq		37
4	Russian (ru) Coq		23
5	Japanese (ja) Coq		17
6	Spanish (es) Coq		11
7	Ukrainian (uk) Coq		8
8	Chinese (zh) Coq		8
9	Greek (el) Coq		5
10	Dutch (nl) Rocq		3

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 June 2025

#	Language	AI award	Relative AI
1	English (en) Rocq		2
2	German (de) Rocq		0
3	Greek (el) Coq		0
4	Spanish (es) Coq		0
5	Finnish (fi) Coq		0
6	French (fr) Rocq (logiciel)		0
7	Japanese (ja) Coq		0
8	Dutch (nl) Rocq		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) Rocq		177
2	French (fr) Rocq (logiciel)		65
3	Russian (ru) Coq		37
4	Chinese (zh) Coq		28
5	Japanese (ja) Coq		22
6	German (de) Rocq		21
7	Ukrainian (uk) Coq		16
8	Spanish (es) Coq		14
9	Dutch (nl) Rocq		7
10	Portuguese (pt) Coq		7

More...

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

Best Rank

Russian: #107196 12.2014

Global: #189280 12.2014

Best Rank

Russian: #10501 02.2009

Global: #21281 04.2004

On 16 March 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 98th Academy Awards, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, One Battle After Another, Amy Madigan, Hamnet, Timothée Chalamet.

In Russian Wikipedia the most popular articles on that day were: Господин Никто против Путина, Битва за битвой, Оскар (кинопремия, 2026), Андрей Юрьевич Боголюбский, Грешники (фильм, 2025), Пенн, Шон, Джордан, Майкл Бакари, Чекалина, Валерия Валерьевна, Бехтерева, Наталья Петровна, Князь Андрей.

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 July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information