Lean

Lean - assistant de preuve. Ce langage de programmation est le 271e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 241e le plus populaire langages de programmation sur Wikipédia en coréen. L'article « Lean » sur Wikipédia en coréen a 37.7 points pour la qualité (au 1 juillet 2026). L'article contient 28 références et 11 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique (coréen).

En juin 2026 l'article « Lean » a été édité par 1 auteurs sur Wikipédia en coréen et écrit par 7 auteurs dans toutes les langues.

Depuis la création de l'article « Lean », son contenu a été rédigé par 1 utilisateurs enregistrés de Wikipédia en coréen et édité par 162 utilisateurs Wikipédia enregistrés dans toutes les langues.

Lean est à la 241^e place du classement local des langages de programmation sur Wikipédia en coréen et à la 271^e place dans le classement mondial des langages de programmation de tout temps.

L'article est cité 3 fois dans Wikipédia en coréen et cité 529 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (coréen): n° 12426 en juin 2025
• Mondial: n° 28783 en juin 2024

Le classement de popularité le plus élevé depuis 2008:

• Local (coréen): n° 75180 en février 2026
• Mondial: n° 88378 en avril 2026

Il existe 14 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 juillet 2026 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Lean (proof assistant)		52.9186
2	chinois (zh) Lean		43.6374
3	japonais (ja) Lean (証明アシスタント)		40.8613
4	coréen (ko) Lean		37.6596
5	allemand (de) Lean (Beweisassistent)		33.7663
6	persan (fa) لین (دستیار اثبات)		27.1992
7	espagnol (es) Lean		26.725
8	russe (ru) Lean		25.6903
9	ukrainien (uk) Lean		24.7899
10	français (fr) Lean (assistant de preuve)		14.9046

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Lean" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Lean (proof assistant)		447 227
2	espagnol (es) Lean		44 860
3	japonais (ja) Lean (証明アシスタント)		34 449
4	russe (ru) Lean		19 910
5	chinois (zh) Lean		15 208
6	français (fr) Lean (assistant de preuve)		14 777
7	allemand (de) Lean (Beweisassistent)		12 891
8	portugais (pt) Lean (linguagem de programação)		1 394
9	coréen (ko) Lean		1 044
10	ukrainien (uk) Lean		931

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Lean" en juin 2026

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Lean (proof assistant)		12 614
2	japonais (ja) Lean (証明アシスタント)		1 744
3	chinois (zh) Lean		821
4	français (fr) Lean (assistant de preuve)		631
5	allemand (de) Lean (Beweisassistent)		569
6	russe (ru) Lean		550
7	espagnol (es) Lean		200
8	portugais (pt) Lean (linguagem de programação)		124
9	coréen (ko) Lean		65
10	ukrainien (uk) Lean		29

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Lean" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prix de l'IA	IA relatif
1	anglais (en) Lean (proof assistant)		82
2	allemand (de) Lean (Beweisassistent)		16
3	français (fr) Lean (assistant de preuve)		14
4	japonais (ja) Lean (証明アシスタント)		13
5	russe (ru) Lean		9
6	persan (fa) لین (دستیار اثبات)		5
7	néerlandais (nl) Lean (bewijsassistent)		5
8	vietnamien (vi) Lean (trợ lý chứng minh)		5
9	portugais (pt) Lean (linguagem de programação)		4
10	espagnol (es) Lean		3

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Lean" présentant le plus grand intérêt des auteurs en juin 2026

#	Langue	Prix de l'IA	IA relatif
1	anglais (en) Lean (proof assistant)		3
2	japonais (ja) Lean (証明アシスタント)		2
3	coréen (ko) Lean		1
4	portugais (pt) Lean (linguagem de programação)		1
5	tchèque (cs) Lean (programovací jazyk)		0
6	allemand (de) Lean (Beweisassistent)		0
7	espagnol (es) Lean		0
8	persan (fa) لین (دستیار اثبات)		0
9	français (fr) Lean (assistant de preuve)		0
10	néerlandais (nl) Lean (bewijsassistent)		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Lean" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Lean (proof assistant)		360
2	russe (ru) Lean		79
3	chinois (zh) Lean		38
4	japonais (ja) Lean (証明アシスタント)		12
5	français (fr) Lean (assistant de preuve)		10
6	allemand (de) Lean (Beweisassistent)		6
7	tchèque (cs) Lean (programovací jazyk)		5
8	espagnol (es) Lean		5
9	persan (fa) لین (دستیار اثبات)		3
10	coréen (ko) Lean		3

Plus...

#	Langue	Valeur
cs	tchèque Lean (programovací jazyk)
de	allemand Lean (Beweisassistent)
en	anglais Lean (proof assistant)
es	espagnol Lean
fa	persan لین (دستیار اثبات)
fr	français Lean (assistant de preuve)
ja	japonais Lean (証明アシスタント)
ko	coréen Lean
nl	néerlandais Lean (bewijsassistent)
pt	portugais Lean (linguagem de programação)
ru	russe Lean
uk	ukrainien Lean
vi	vietnamien Lean (trợ lý chứng minh)
zh	chinois Lean

Meilleur rang

coréen: n° 75180 02.2026

Mondial: n° 88378 04.2026

Meilleur rang

coréen: n° 12426 06.2025

Mondial: n° 28783 06.2024

Au 1 juillet 2026 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

Sur Wikipédia en coréen, les articles les plus populaires ce jour-là étaient: 문화방송, 김성훈 (1998년), 한국방송공사, 유튜브, 한성숙, 한국교육방송공사, 권오영 (1970년), 홍명보, 5·18 광주 민주화 운동, 다음.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 50 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de juillet 2026. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juin 2026 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2026... Plus d'information