Lean

Qualità:

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

In questa versione linguistica di Wikipedia l'articolo ha la migliore qualità. Tuttavia, la versione linguistica più popolare di questo articolo è il inglese.

Realizzazioni in tutto il tempo:

Wikipedia in cinese:

Il 287° più popolare in linguaggi di programmazione nella Wikipedia in cinese.

Wikipedia globale:

Il 358° più popolare in linguaggi di programmazione.

Nel giugno 2025 l'articolo "Lean" è stato modificato da 1 autori nella Wikipedia in cinese e scritto da 9 autori in tutte le lingue.

Dalla creazione dell'articolo "Lean", il suo contenuto è stato scritto da 1 utenti registrati di Wikipedia in cinese e modificato da 131 utenti registrati di Wikipedia in tutte le lingue.

Lean è al 287° posto nella classifica locale dei linguaggi di programmazione nella Wikipedia in cinese e al 358° posto nella classifica globale dei linguaggi di programmazione in tutto il tempo.

L'articolo è citato 36 volte nella Wikipedia in cinese e citato 493 volte in tutte le lingue.

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

• Locale (cinese): N. 98239 nel giugno 2024
• Globale: N. 28697 nel giugno 2024

Il grado di popolarità più alto dal 2008:

• Locale (cinese): N. 74468 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 8 luglio 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Diogo Jota, João Pedro (calciatore 2001), Ozzy Osbourne, Laura Siegemund, Aryna Sabalenka, Julian McMahon, Jurassic World - La rinascita, Coppa del mondo per club FIFA 2025, Amanda Anisimova, F1 - Il film.

Nella Wikipedia in cinese gli articoli più popolari quel giorno erano: 權恩妃, 林沖 (藝人), 书卷一梦, K-Pop：惡魔獵人, 桃花映江山, F1電影, 瑞草洞 (電視劇), 黃敏惠, 我們與惡的距離 II, 周先旺.

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