Lean

Lean - assistant de preuve. Ce langage de programmation est le 453e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 424e le plus populaire langages de programmation sur Wikipédia en espagnol. L'article "Lean" sur Wikipédia en espagnol a 27.7 points pour la qualité (au 1 août 2024). L'article contient 11 références et 7 sections.

Cet article a la meilleure qualité sur Wikipédia en chinois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

En juillet 2024 l'article "Lean" a été édité par 1 auteurs sur Wikipédia en espagnol et écrit par 4 auteurs dans toutes les langues.

Depuis la création de l'article "Lean", son contenu a été rédigé par 3 utilisateurs enregistrés de Wikipédia en espagnol et édité par 98 utilisateurs Wikipédia enregistrés dans toutes les langues.

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

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

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

• Local (espagnol): n° 12995 en novembre 2023
• Mondial: n° 28638 en juin 2024

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

• Local (espagnol): n° 496306 en juillet 2024
• Mondial: n° 160905 en juillet 2024

Il existe 12 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 août 2024 (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	chinois (zh) Lean		44.1679
2	anglais (en) Lean (proof assistant)		39.2322
3	japonais (ja) Lean (証明アシスタント)		33.3528
4	allemand (de) Lean (Beweisassistent)		31.898
5	espagnol (es) Lean		27.6817
6	persan (fa) لین (دستیار اثبات)		25.4167
7	ukrainien (uk) Lean		24.9286
8	russe (ru) Lean		21.4148
9	vietnamien (vi) Lean (trợ lý chứng minh)		13.5515
10	néerlandais (nl) Lean (bewijsassistent)		10.554

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)		198 539
2	russe (ru) Lean		7 610
3	français (fr) Lean (assistant de preuve)		5 505
4	japonais (ja) Lean (証明アシスタント)		5 106
5	allemand (de) Lean (Beweisassistent)		1 729
6	espagnol (es) Lean		808
7	chinois (zh) Lean		355
8	ukrainien (uk) Lean		323
9	tchèque (cs) Lean (programovací jazyk)		251
10	vietnamien (vi) Lean (trợ lý chứng minh)		182

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 juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Lean (proof assistant)		11 293
2	japonais (ja) Lean (証明アシスタント)		654
3	allemand (de) Lean (Beweisassistent)		561
4	russe (ru) Lean		330
5	chinois (zh) Lean		226
6	français (fr) Lean (assistant de preuve)		163
7	espagnol (es) Lean		110
8	tchèque (cs) Lean (programovací jazyk)		15
9	néerlandais (nl) Lean (bewijsassistent)		15
10	vietnamien (vi) Lean (trợ lý chứng minh)		14

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	Prox de IA	IA relatif
1	anglais (en) Lean (proof assistant)		53
2	français (fr) Lean (assistant de preuve)		9
3	allemand (de) Lean (Beweisassistent)		8
4	russe (ru) Lean		8
5	japonais (ja) Lean (証明アシスタント)		7
6	espagnol (es) Lean		3
7	vietnamien (vi) Lean (trợ lý chứng minh)		3
8	néerlandais (nl) Lean (bewijsassistent)		2
9	ukrainien (uk) Lean		2
10	tchèque (cs) Lean (programovací jazyk)		1

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 juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Lean (proof assistant)		1
2	espagnol (es) Lean		1
3	japonais (ja) Lean (証明アシスタント)		1
4	néerlandais (nl) Lean (bewijsassistent)		1
5	tchèque (cs) Lean (programovací jazyk)		0
6	allemand (de) Lean (Beweisassistent)		0
7	persan (fa) لین (دستیار اثبات)		0
8	français (fr) Lean (assistant de preuve)		0
9	russe (ru) Lean		0
10	ukrainien (uk) Lean		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)		344
2	russe (ru) Lean		75
3	chinois (zh) Lean		34
4	français (fr) Lean (assistant de preuve)		7
5	japonais (ja) Lean (証明アシスタント)		5
6	tchèque (cs) Lean (programovací jazyk)		3
7	allemand (de) Lean (Beweisassistent)		3
8	espagnol (es) Lean		3
9	ukrainien (uk) Lean		2
10	persan (fa) لین (دستیار اثبات)		0

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 (証明アシスタント)
nl	néerlandais Lean (bewijsassistent)
ru	russe Lean
uk	ukrainien Lean
vi	vietnamien Lean (trợ lý chứng minh)
zh	chinois Lean

Meilleur rang

espagnol: n° 496306 07.2024

Mondial: n° 160905 07.2024

Meilleur rang

espagnol: n° 12995 11.2023

Mondial: n° 28638 06.2024

Au 6 septembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Linkin Park, Chester Bennington, Rob Bourdon, Emily Armstrong, Cristiano Ronaldo, Ligue des nations de l'UEFA, Beetlejuice, Jessica Pegula, Mike Shinoda, Rebecca Cheptegei.

Sur Wikipédia en espagnol, les articles les plus populaires ce jour-là étaient: Linkin Park, Valentín Mariano Castellanos, Chester Bennington, Clasificación de Conmebol para la Copa Mundial de Fútbol de 2026, Paulo Dybala, Estadio Municipal de El Alto, Rob Bourdon, Beetlejuice, La flaqueza del bolchevique (película), San Marino.

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 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information