Качество:
Lean - инструмент интерактивного доказательства теорем. Этот язык программирования занимает 358-е место в глобальном рейтинге языков программирования и 452-е место в рейтинге языков программирования в Немецкой Википедии. Статья «Lean (Beweisassistent)» в немецкой Википедии имеет 33.1 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 11 примечаний и 7 разделов. Эта статья имеет наилучшее качество в китайской Википедии. Однако, наиболее популярной языковой версией статьи является английская.
Достижения за всё время:
Немецкая Википедия:
Глобальная Википедия:
В июне 2025 статья «Lean (Beweisassistent)» была редактирована 1 авторами в немецкой Википедии и исправлялась 9 авторами во всех языковых версиях.
С момента создания статьи «Lean (Beweisassistent)» ее содержимое было создано 13 зарегистрированными пользователями немецкой Википедии и редактировано 131 зарегистрированными пользователями Википедии во всех языковых версиях.
Статья «Lean (Beweisassistent)» находится на 452-м месте в локальном рейтинге языков программирования в немецкой Википедии
и на 358-м месте в глобальном рейтинге языков программирования за всё время.
Эта статья цитируется 5 раз в немецкой Википедии и цитируется 493 раз во всех языках.
Наивысший рейтинг по интересам авторов с 2001 года:
- Локальный (Немецкий): №4424 в марте 2024 года
- Глобальный: №28697 в июне 2024 года
Самый высокий рейтинг популярности с 2008 года:
- Локальный (Немецкий): №200513 в июле 2024 года
- Глобальный: №114703 в июне 2025 года
Для данной статьи найдено 14 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).
Данные по состоянию на 1 июля 2025 года.
В таблице ниже показаны языковые версии статьи с наилучшим качеством.
