Coq (logiciel)

Coq - proof assistant. This programming language is the 168^th most popular in the global Wikipedia ranking of programming languages and the 98^th most popular programming language in French Wikipedia. Article "Coq (logiciel)" in French Wikipedia has 19.7 points for quality (as of August 1, 2024). The article contains 9 references and 8 sections.

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

In July 2024 the article "Coq (logiciel)" was edited by 7 authors in French Wikipedia (2001^st place) and written by 8 authors in all languages.

Since the creation of article "Coq (logiciel)", its content was written by 73 registered users of French Wikipedia and edited by 330 registered Wikipedia users in all languages.

Coq is on the 98^th place in local ranking of programming languages in French Wikipedia and on the 168^th place in global ranking of programming languages in all the time.

The article is cited 66 times in French Wikipedia and cited 373 times in all languages.

The highest Authors Interest rank from 2001:

• Local (French): #2001 in July 2024
• Global: #21280 in April 2004

The highest popularity rank from 2008:

• Local (French): #66309 in July 2024
• Global: #150907 in April 2021

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 August 1, 2024 (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) Coq (software)		38.9759
2	German (de) Coq (Software)		34.2615
3	Chinese (zh) Coq		25.0341
4	Ukrainian (uk) Coq		24.129
5	Portuguese (pt) Coq		24.0981
6	Russian (ru) Coq		23.8687
7	French (fr) Coq (logiciel)		19.6796
8	Finnish (fi) Coq		15.9546
9	Greek (el) Coq		14.3332
10	Japanese (ja) Coq		14.0752

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Coq (logiciel)" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Coq (software)		897 942
2	French (fr) Coq (logiciel)		124 132
3	Russian (ru) Coq		94 551
4	Japanese (ja) Coq		76 139
5	German (de) Coq (Software)		54 674
6	Chinese (zh) Coq		32 208
7	Spanish (es) Coq		31 301
8	Portuguese (pt) Coq		5 617
9	Greek (el) Coq		3 815
10	Finnish (fi) Coq		1 900

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 (logiciel)" in July 2024

#	Language	Popularity award	Relative popularity
1	English (en) Coq (software)		6 260
2	French (fr) Coq (logiciel)		1 484
3	German (de) Coq (Software)		604
4	Japanese (ja) Coq		513
5	Russian (ru) Coq		392
6	Chinese (zh) Coq		361
7	Spanish (es) Coq		119
8	Portuguese (pt) Coq		42
9	Dutch (nl) Coq		11
10	Greek (el) Coq		10

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Coq (logiciel)" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Coq (software)		148
2	French (fr) Coq (logiciel)		73
3	German (de) Coq (Software)		36
4	Russian (ru) Coq		23
5	Japanese (ja) Coq		15
6	Spanish (es) Coq		10
7	Chinese (zh) Coq		8
8	Ukrainian (uk) Coq		6
9	Greek (el) Coq		5
10	Finnish (fi) Coq		2

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 (logiciel)" with the highest AI in July 2024

#	Language	AI award	Relative AI
1	French (fr) Coq (logiciel)		7
2	English (en) Coq (software)		1
3	German (de) Coq (Software)		0
4	Greek (el) Coq		0
5	Spanish (es) Coq		0
6	Finnish (fi) Coq		0
7	Japanese (ja) Coq		0
8	Dutch (nl) Coq		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 (logiciel)" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Coq (software)		157
2	French (fr) Coq (logiciel)		66
3	Russian (ru) Coq		36
4	Chinese (zh) Coq		26
5	Japanese (ja) Coq		21
6	German (de) Coq (Software)		20
7	Ukrainian (uk) Coq		16
8	Spanish (es) Coq		13
9	Portuguese (pt) Coq		7
10	Greek (el) Coq		6

More...

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

Best Rank

French: #66309 07.2024

Global: #150907 04.2021

Best Rank

French: #2001 07.2024

Global: #21280 04.2004

On 2 June 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Karol Nawrocki, 2025 Polish presidential election, Alexander Bublik, Luis Enrique, Tupolev Tu-95, 2025 FIFA Club World Cup, Loïs Boisson, Désiré Doué, Mount Etna, Paris Saint-Germain FC.

In French Wikipedia the most popular articles on that day were: Loïs Boisson, Île Maurice, Luis Enrique, Désiré Doué, Alexander Bublik, Ligue des champions de l'UEFA, Yann Boisson, Paris Saint-Germain Football Club, Jessica Pegula, Ousmane Dembélé.

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