Rocq

Rocq prover - proof assistant. This programming language is the 251^st most popular in the global Wikipedia ranking of programming languages and the 216^th most popular programming language in Ukrainian Wikipedia. Article “Rocq” in Ukrainian Wikipedia has 20.8 points for quality (as of July 1, 2026). 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 (Ukrainian) language version.

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

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

The article is cited 21 times in Ukrainian Wikipedia and cited 411 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Ukrainian): #2661 in December 2019
• Global: #21288 in April 2004

The highest popularity rank from 2008:

• Local (Ukrainian): #79703 in December 2019
• 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

Ukrainian: #79703 12.2019

Global: #191236 04.2025

Best Rank

Ukrainian: #2661 12.2019

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 Ukrainian Wikipedia the most popular articles on that day were: Одна битва за іншою, Шон Пенн, Горила, Містер Ніхто проти Путіна, Грішники (фільм, 2025), Оскар (98-ма церемонія вручення), Гамнет (фільм), Майкл Б. Джордан, Бука Сука Дімка, Джессі Баклі.

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