Rocq

Rocq prover - proof assistant. This programming language is the 251^st most popular in the global Wikipedia ranking of programming languages and the 170^th most popular programming language in Russian Wikipedia. Article “Rocq” in Russian Wikipedia has 21.9 points for quality (as of July 1, 2026). The article contains 11 references and 12 sections. The article also contains templates indicating quality issues, therefore its score was reduced by 1.15 points.

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

In June 2026 the article “Rocq” was edited by 1 authors in Russian Wikipedia and written by 2 authors in all languages.

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

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

The article is cited 38 times in Russian Wikipedia and cited 411 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Russian): #10491 in February 2009
• Global: #21288 in April 2004

The highest popularity rank from 2008:

• Local (Russian): #108200 in March 2021
• 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 "Rocq" 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 "Rocq" 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 "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		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 "Rocq" 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 "Rocq" 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

Russian: #108200 03.2021

Global: #191236 04.2025

Best Rank

Russian: #10491 02.2009

Global: #21288 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 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