Lean (proof assistant)

Qualità:

Questo linguaggio di programmazione è il 358° più popolare nella classifica globale di Wikipedia di linguaggi di programmazione e il 316° più popolare linguaggi di programmazione nella Wikipedia in inglese. L'articolo "Lean (proof assistant)" nella Wikipedia in inglese ha 41.4 punti per la qualità (al 1 luglio 2025). L'articolo contiene 28 riferimenti e 11 sezioni.

Questo articolo ha la migliore qualità nella Wikipedia in cinese. Tuttavia, questo articolo è il più popolare nella versione inglese.

Realizzazioni in tutto il tempo:

Wikipedia in inglese:

Il 316° più popolare in linguaggi di programmazione nella Wikipedia in inglese.

Wikipedia globale:

Il 358° più popolare in linguaggi di programmazione.

Nel giugno 2025 l'articolo "Lean (proof assistant)" è stato modificato da 4 autori nella Wikipedia in inglese e scritto da 9 autori in tutte le lingue.

Dalla creazione dell'articolo "Lean (proof assistant)", il suo contenuto è stato scritto da 66 utenti registrati di Wikipedia in inglese e modificato da 131 utenti registrati di Wikipedia in tutte le lingue.

Lean (proof assistant) è al 316° posto nella classifica locale dei linguaggi di programmazione nella Wikipedia in inglese e al 358° posto nella classifica globale dei linguaggi di programmazione in tutto il tempo.

L'articolo è citato 350 volte nella Wikipedia in inglese e citato 493 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 18174 nell'ottobre 2023
• Globale: N. 28697 nel giugno 2024

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 82170 nel giugno 2025
• Globale: N. 114703 nel giugno 2025

Ci sono 14 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 luglio 2025 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	cinese (zh) Lean		43.701
2	inglese (en) Lean (proof assistant)		41.432
3	giapponese (ja) Lean (証明アシスタント)		40.2582
4	coreano (ko) Lean (증명 보조기)		36.9689
5	tedesco (de) Lean (Beweisassistent)		33.1162
6	persiano (fa) لین (دستیار اثبات)		27.3846
7	spagnolo (es) Lean		27.0661
8	ucraino (uk) Lean		24.9345
9	russo (ru) Lean		21.3667
10	vietnamita (vi) Lean (trợ lý chứng minh)		13.4232

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		296 974
2	giapponese (ja) Lean (証明アシスタント)		12 226
3	russo (ru) Lean		10 798
4	spagnolo (es) Lean		8 844
5	francese (fr) Lean (assistant de preuve)		8 560
6	cinese (zh) Lean		6 592
7	tedesco (de) Lean (Beweisassistent)		5 673
8	ucraino (uk) Lean		592
9	portoghese (pt) Lean (linguagem de programação)		456
10	ceco (cs) Lean (programovací jazyk)		435

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		13 505
2	giapponese (ja) Lean (証明アシスタント)		1 112
3	cinese (zh) Lean		933
4	tedesco (de) Lean (Beweisassistent)		463
5	francese (fr) Lean (assistant de preuve)		372
6	russo (ru) Lean		348
7	spagnolo (es) Lean		158
8	portoghese (pt) Lean (linguagem de programação)		84
9	ceco (cs) Lean (programovací jazyk)		38
10	coreano (ko) Lean (증명 보조기)		32

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		66
2	tedesco (de) Lean (Beweisassistent)		13
3	francese (fr) Lean (assistant de preuve)		12
4	giapponese (ja) Lean (証明アシスタント)		8
5	russo (ru) Lean		8
6	persiano (fa) لین (دستیار اثبات)		4
7	olandese (nl) Lean (bewijsassistent)		4
8	vietnamita (vi) Lean (trợ lý chứng minh)		4
9	spagnolo (es) Lean		3
10	portoghese (pt) Lean (linguagem de programação)		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		4
2	coreano (ko) Lean (증명 보조기)		2
3	tedesco (de) Lean (Beweisassistent)		1
4	giapponese (ja) Lean (証明アシスタント)		1
5	cinese (zh) Lean		1
6	ceco (cs) Lean (programovací jazyk)		0
7	spagnolo (es) Lean		0
8	persiano (fa) لین (دستیار اثبات)		0
9	francese (fr) Lean (assistant de preuve)		0
10	olandese (nl) Lean (bewijsassistent)		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 12 agosto 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Cristiano Ronaldo, Mercoledì, Georgina Rodríguez, ChatGPT, Weapon, Jenna Ortega, morti nel 2025, Taylor Swift, Miguel Uribe Turbay, UEFA Champions League 2025-2026.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del luglio 2025. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del giugno 2025. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2025... More information