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 452e le plus populaire langages de programmation sur Wikipédia en allemand. L'article « Lean (Beweisassistent) » sur Wikipédia en allemand a 33.1 points pour la qualité (au 1 juillet 2025).
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 de tout temps:
Wikipédia en allemand:
Wikipédia mondial:
En juin 2025 l'article « Lean (Beweisassistent) » a été édité par 1 auteurs sur Wikipédia en allemand et écrit par 9 auteurs dans toutes les langues.
Depuis la création de l'article « Lean (Beweisassistent) », son contenu a été rédigé par 13 utilisateurs enregistrés de Wikipédia en allemand et édité par 131 utilisateurs Wikipédia enregistrés dans toutes les langues.
Lean est à la 452e place du classement local des langages de programmation sur Wikipédia en allemand
et à la 358e place dans le classement mondial des langages de programmation de tout temps.
L'article est cité 5 fois dans Wikipédia en allemand et cité 493 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
- Local (allemand): n° 4424 en mars 2024
- Mondial: n° 28697 en juin 2024
Le classement de popularité le plus élevé depuis 2008:
- Local (allemand): n° 200513 en juillet 2024
- 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é.
