Lean (proof assistant)

Qualità:

Questo linguaggio di programmazione è il 453° più popolare nella classifica globale di Wikipedia di linguaggi di programmazione e il 403° più popolare linguaggi di programmazione nella Wikipedia in inglese. L'articolo "Lean (proof assistant)" nella Wikipedia in inglese ha 39.2 punti per la qualità (al 1 agosto 2024). L'articolo contiene 19 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 403° più popolare in linguaggi di programmazione nella Wikipedia in inglese.

Wikipedia globale:

Il 453° più popolare in linguaggi di programmazione.

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

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

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

L'articolo è citato 344 volte nella Wikipedia in inglese e citato 476 volte in tutte le lingue.

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

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

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 107034 nel luglio 2024
• Globale: N. 160905 nel luglio 2024

Ci sono 12 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 agosto 2024 (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		44.1679
2	inglese (en) Lean (proof assistant)		39.2322
3	giapponese (ja) Lean (証明アシスタント)		33.3528
4	tedesco (de) Lean (Beweisassistent)		31.898
5	spagnolo (es) Lean		27.6817
6	persiano (fa) لین (دستیار اثبات)		25.4167
7	ucraino (uk) Lean		24.9286
8	russo (ru) Lean		21.4148
9	vietnamita (vi) Lean (trợ lý chứng minh)		13.5515
10	olandese (nl) Lean (bewijsassistent)		10.554

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		198 539
2	russo (ru) Lean		7 610
3	francese (fr) Lean (assistant de preuve)		5 505
4	giapponese (ja) Lean (証明アシスタント)		5 106
5	tedesco (de) Lean (Beweisassistent)		1 729
6	spagnolo (es) Lean		808
7	cinese (zh) Lean		355
8	ucraino (uk) Lean		323
9	ceco (cs) Lean (programovací jazyk)		251
10	vietnamita (vi) Lean (trợ lý chứng minh)		182

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)		11 293
2	giapponese (ja) Lean (証明アシスタント)		654
3	tedesco (de) Lean (Beweisassistent)		561
4	russo (ru) Lean		330
5	cinese (zh) Lean		226
6	francese (fr) Lean (assistant de preuve)		163
7	spagnolo (es) Lean		110
8	ceco (cs) Lean (programovací jazyk)		15
9	olandese (nl) Lean (bewijsassistent)		15
10	vietnamita (vi) Lean (trợ lý chứng minh)		14

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)		53
2	francese (fr) Lean (assistant de preuve)		9
3	tedesco (de) Lean (Beweisassistent)		8
4	russo (ru) Lean		8
5	giapponese (ja) Lean (証明アシスタント)		7
6	spagnolo (es) Lean		3
7	vietnamita (vi) Lean (trợ lý chứng minh)		3
8	olandese (nl) Lean (bewijsassistent)		2
9	ucraino (uk) Lean		2
10	ceco (cs) Lean (programovací jazyk)		1

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)		1
2	spagnolo (es) Lean		1
3	giapponese (ja) Lean (証明アシスタント)		1
4	olandese (nl) Lean (bewijsassistent)		1
5	ceco (cs) Lean (programovací jazyk)		0
6	tedesco (de) Lean (Beweisassistent)		0
7	persiano (fa) لین (دستیار اثبات)		0
8	francese (fr) Lean (assistant de preuve)		0
9	russo (ru) Lean		0
10	ucraino (uk) Lean		0

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

Il 19 novembre 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Mike Tyson, Elon Musk, MGM-140 ATACMS, Il gladiatore II, giornata internazionale dell'uomo, UEFA Nations League 2024-2025, Donald Trump, Jake Paul, Jon Jones, morti nel 2024.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: Mehmet Oz, Sean Duffy, Gladiator II, Mike Tyson, 2024 United States presidential election, Matt Gaetz, Deaths in 2024, Elon Musk, Wicked (2024 film), Dune: Prophecy.

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 agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information