Rocq

Rocq - proof assistant. This programming language is the 181^st most popular in the global Wikipedia ranking of programming languages and the 183^rd most popular programming language in English Wikipedia. Article “Rocq” in English Wikipedia has 44.6 points for quality (as of July 1, 2025). The article contains 26 references and 9 sections.

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

In June 2025 the article “Rocq” was edited by 2 authors in English Wikipedia and written by 2 authors in all languages.

Since the creation of article “Rocq”, its content was written by 160 registered users of English Wikipedia and edited by 356 registered Wikipedia users in all languages.

Rocq is on the 183^rd place in local ranking of programming languages in English Wikipedia and on the 181^st place in global ranking of programming languages in all the time.

The article is cited 177 times in English Wikipedia and cited 402 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #9680 in April 2004
• Global: #21281 in April 2004

The highest popularity rank from 2008:

• Local (English): #133581 in September 2013
• 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 "Rocq" 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 "Rocq" 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 "Rocq" 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 "Rocq" 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 "Rocq" 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

English: #133581 09.2013

Global: #189280 12.2014

Best Rank

English: #9680 04.2004

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 English Wikipedia the most popular articles on that day were: 98th Academy Awards, Michael B. Jordan, Paul Thomas Anderson, Jessie Buckley, Sinners (2025 film), Amy Madigan, Autumn Durald Arkapaw, Maya Rudolph, Sean Penn, Academy Awards.

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