Coq

Rocq prover - proof assistant. This programming language is the 251^st most popular in the global Wikipedia ranking of programming languages and the 141^st most popular programming language in Japanese Wikipedia. Article “Coq” in Japanese Wikipedia has 14.8 points for quality (as of July 1, 2026). The article contains 6 references and 6 sections.

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

Since the creation of article “Coq”, its content was written by 18 registered users of Japanese Wikipedia and edited by 380 registered Wikipedia users in all languages.

Rocq prover is on the 141^st place in local ranking of programming languages in Japanese Wikipedia and on the 251^st place in global ranking of programming languages in all the time.

The article is cited 26 times in Japanese Wikipedia and cited 411 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Japanese): #10518 in August 2013
• Global: #21288 in April 2004

The highest popularity rank from 2008:

• Local (Japanese): #129810 in June 2014
• Global: #191236 in April 2025

There are 13 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, 2026 (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.0166
2	Portuguese (pt) Coq		38.3006
3	German (de) Rocq		35.0532
4	Chinese (zh) Coq		24.9213
5	Russian (ru) Rocq		21.9014
6	Ukrainian (uk) Rocq		20.8427
7	French (fr) Rocq (logiciel)		20.6282
8	Finnish (fi) Coq		15.9822
9	Japanese (ja) Coq		14.7618
10	Greek (el) Coq		14.3173

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		174 624
2	French (fr) Rocq (logiciel)		141 006
3	Russian (ru) Rocq		105 694
4	Japanese (ja) Coq		86 906
5	German (de) Rocq		60 479
6	Chinese (zh) Coq		37 525
7	Spanish (es) Coq		33 500
8	Portuguese (pt) Coq		6 732
9	Greek (el) Coq		4 153
10	Finnish (fi) Coq		2 256

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 2026

#	Language	Popularity award	Relative popularity
1	English (en) Rocq		4 764
2	French (fr) Rocq (logiciel)		648
3	Russian (ru) Rocq		375
4	Japanese (ja) Coq		349
5	German (de) Rocq		166
6	Chinese (zh) Coq		163
7	Spanish (es) Coq		62
8	Portuguese (pt) Coq		46
9	Greek (el) Coq		19
10	Korean (ko) Coq		18

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		171
2	French (fr) Rocq (logiciel)		82
3	German (de) Rocq		38
4	Russian (ru) Rocq		23
5	Japanese (ja) Coq		18
6	Spanish (es) Coq		12
7	Ukrainian (uk) Rocq		10
8	Chinese (zh) Coq		9
9	Greek (el) Coq		5
10	Dutch (nl) Rocq (programmeertaal)		5

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 2026

#	Language	AI award	Relative AI
1	French (fr) Rocq (logiciel)		1
2	Russian (ru) Rocq		1
3	German (de) Rocq		0
4	Greek (el) Coq		0
5	English (en) Rocq		0
6	Spanish (es) Coq		0
7	Finnish (fi) Coq		0
8	Japanese (ja) Coq		0
9	Korean (ko) Coq		0
10	Dutch (nl) Rocq (programmeertaal)		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		160
2	French (fr) Rocq (logiciel)		62
3	Russian (ru) Rocq		38
4	Chinese (zh) Coq		29
5	Japanese (ja) Coq		26
6	Ukrainian (uk) Rocq		21
7	German (de) Rocq		20
8	Korean (ko) Coq		18
9	Spanish (es) Coq		16
10	Portuguese (pt) Coq		10

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
ko	Korean Coq
nl	Dutch Rocq (programmeertaal)
pt	Portuguese Coq
ru	Russian Rocq
uk	Ukrainian Rocq
zh	Chinese Coq

Best Rank

Japanese: #129810 06.2014

Global: #191236 04.2025

Best Rank

Japanese: #10518 08.2013

Global: #21288 04.2004

On 1 July 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

In Japanese Wikipedia the most popular articles on that day were: 橋本愛 (1996年生), 超ときめき♡宣伝部, 塩貝健人, 鈴木彩艶, 泉里香, 谷口彰悟, 田中みな実, 佐野海舟, アーリング・ハーランド, 後藤輝樹.

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 50 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2026. When calculating current popularity and AI of articles data from June 2026 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2026... More information