Qualité:
![](/images/puzzle2/128/25.png)
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.
Réalisations dans tout le temps:
Wikipédia en espagnol:
Wikipédia mondial:
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 424e place du classement local des langages de programmation sur Wikipédia en espagnol
et à la 453e 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é.