Lean (proof assistant)

Lean - software for interactive and automated theorem proving. Article "Lean (proof assistant)" in English Wikipedia has 33 points for quality (as of November 1, 2023). The article contains 12 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 language version.

In October 2023 the article "Lean (proof assistant)" was edited by 8 authors in English Wikipedia and written by 10 authors in all languages.

Since the creation of article "Lean (proof assistant)", its content was written by 39 registered users of English Wikipedia and edited by 64 registered Wikipedia users in all languages.

The article is cited 340 times in English Wikipedia and cited 426 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #18174 in October 2023
• Global: #58562 in October 2023

The highest popularity rank from 2008:

• Local (English): #151373 in October 2023
• Global: #246309 in October 2023

There are 7 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 November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

#	Language	Quality grade	Quality score
1	English (en) Lean (proof assistant)		33.0469
2	Ukrainian (uk) Lean		24.9066
3	Russian (ru) Lean		21.3277
4	Japanese (ja) Lean (証明アシスタント)		14.0086
5	Vietnamese (vi) Lean (trợ lý chứng minh)		13.6153
6	French (fr) Lean (assistant de preuve)		10.6629
7	Czech (cs) Lean (programovací jazyk)		0.2887

More...

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

The most popular language versions of the article "Lean (proof assistant)" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Lean (proof assistant)		133 587
2	Russian (ru) Lean		6 219
3	French (fr) Lean (assistant de preuve)		4 088
4	Japanese (ja) Lean (証明アシスタント)		1 273
5	Ukrainian (uk) Lean		196
6	Czech (cs) Lean (programovací jazyk)		172
7	Vietnamese (vi) Lean (trợ lý chứng minh)		104

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 "Lean (proof assistant)" in October 2023

#	Language	Popularity award	Relative popularity
1	English (en) Lean (proof assistant)		8 354
2	Japanese (ja) Lean (証明アシスタント)		328
3	French (fr) Lean (assistant de preuve)		250
4	Russian (ru) Lean		145
5	Ukrainian (uk) Lean		59
6	Czech (cs) Lean (programovací jazyk)		21
7	Vietnamese (vi) Lean (trợ lý chứng minh)		6

More...

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

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

#	Language	AI award	Relative AI
1	English (en) Lean (proof assistant)		39
2	French (fr) Lean (assistant de preuve)		8
3	Russian (ru) Lean		8
4	Japanese (ja) Lean (証明アシスタント)		3
5	Vietnamese (vi) Lean (trợ lý chứng minh)		3
6	Ukrainian (uk) Lean		2
7	Czech (cs) Lean (programovací jazyk)		1

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 "Lean (proof assistant)" with the highest AI in October 2023

#	Language	AI award	Relative AI
1	English (en) Lean (proof assistant)		8
2	Ukrainian (uk) Lean		2
3	Czech (cs) Lean (programovací jazyk)		0
4	French (fr) Lean (assistant de preuve)		0
5	Japanese (ja) Lean (証明アシスタント)		0
6	Russian (ru) Lean		0
7	Vietnamese (vi) Lean (trợ lý chứng minh)		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Lean (proof assistant)" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Lean (proof assistant)		340
2	Russian (ru) Lean		75
3	French (fr) Lean (assistant de preuve)		5
4	Czech (cs) Lean (programovací jazyk)		3
5	Ukrainian (uk) Lean		2
6	Japanese (ja) Lean (証明アシスタント)		1
7	Vietnamese (vi) Lean (trợ lý chứng minh)		0

More...

#	Language	Value
cs	Czech Lean (programovací jazyk)
en	English Lean (proof assistant)
fr	French Lean (assistant de preuve)
ja	Japanese Lean (証明アシスタント)
ru	Russian Lean
uk	Ukrainian Lean
vi	Vietnamese Lean (trợ lý chứng minh)

Best Rank

English: #151373 10.2023

Global: #246309 10.2023

Best Rank

English: #18174 10.2023

Global: #58562 10.2023

On 2 July 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: UEFA Euro 2024, UEFA European Championship, Cristiano Ronaldo, Diogo Meireles da Costa, Merih Demiral, 2024 Copa América, Arda Güler, Turkey national association football team, Copa América, Inside Out 2.

In English Wikipedia the most popular articles on that day were: Kalki 2898 AD, UEFA Euro 2024, Project 2025, 2024 Copa América, A Quiet Place: Day One, Deaths in 2024, Jack Draper (tennis), House of the Dragon, Nikki Hiltz, Diogo Costa.

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