Qualité:
Lean - assistant de preuve. Ce langage de programmation est le 358e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 287e le plus populaire langages de programmation sur Wikipédia en chinois. L'article « Lean » sur Wikipédia en chinois a 43.7 points pour la qualité (au 1 juillet 2025).
L'article contient 19 références et 11 sections.
Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.
Réalisations dans tout le temps:
Wikipédia en chinois:
Wikipédia mondial:
En juin 2025 l'article « Lean » a été édité par 1 auteurs sur Wikipédia en chinois et écrit par 9 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 chinois et édité par 131 utilisateurs Wikipédia enregistrés dans toutes les langues.
Lean est à la 287e place du classement local des langages de programmation sur Wikipédia en chinois
et à la 358e place dans le classement mondial des langages de programmation dans tout le temps.
L'article est cité 36 fois dans Wikipédia en chinois et cité 493 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
- Local (chinois): n° 98239 en juin 2024
- Mondial: n° 28697 en juin 2024
Le classement de popularité le plus élevé depuis 2008:
- Local (chinois): n° 74468 en juin 2025
- Mondial: n° 114703 en juin 2025
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 2025 (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é.
