Качество:
Lean - инструмент интерактивного доказательства теорем. Это языки программирования занимает 453-е место в глобальном рейтинге языков программирования и 403-е место в рейтинге языков программирования в Английской Википедии. Статья "Lean (proof assistant)" в Английской Википедии имеет 39.2 баллов за качество (по состоянию на 1 августа 2024 года). Статья содержит, среди прочих показателей, 19 примечаний и 11 разделов. Эта статья имеет наилучшее качество в Китайской Википедии. Однако, эта статья наиболее популярна в текущей языковой версии.
Достижения за всё время:
Английская Википедия:
Глобальная Википедия:
В июле 2024 статья "Lean (proof assistant)" была редактирована 1 авторами в английской Википедии и исправлялась 4 авторами во всех языковых версиях.
С момента создания статьи "Lean (proof assistant)" ее содержимое было создано 53 зарегистрированными пользователями английской Википедии и редактировано 98 зарегистрированными пользователями Википедии во всех языковых версиях.
Статья "Lean (proof assistant)" находится на 403-м месте в локальном рейтинге языков программирования в английской Википедии
и на 453-м месте в глобальном рейтинге языков программирования за всё время.
Эта статья цитируется 344 раз в английской Википедии и цитируется 476 раз во всех языках.
Наивысший рейтинг по интересам авторов с 2001 года:
- Локальный (Английский): №18171 в октябре 2023 года
- Глобальный: №28638 в июне 2024 года
Самый высокий рейтинг популярности с 2008 года:
- Локальный (Английский): №107034 в июле 2024 года
- Глобальный: №160905 в июле 2024 года
Для данной статьи найдено 12 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).
Данные по состоянию на 1 августа 2024 года.
В таблице ниже показаны языковые версии статьи с наилучшим качеством.
