Lean (proof assistant)

Lean - инструмент интерактивного доказательства теорем. Статья "Lean (proof assistant)" в Английской Википедии имеет 33 баллов за качество (по состоянию на 1 ноября 2023 года). Статья содержит, среди прочих показателей, 12 примечаний и 9 разделов. В этой языковой версии Википедии данная статья имеет наилучшее качество. Также, статья наиболее популярна в этой языковой версии.

В октябре 2023 статья "Lean (proof assistant)" была редактирована 8 авторами в английской Википедии и исправлялась 10 авторами во всех языковых версиях.

С момента создания статьи "Lean (proof assistant)" ее содержимое было создано 39 зарегистрированными пользователями английской Википедии и редактировано 64 зарегистрированными пользователями Википедии во всех языковых версиях.

Эта статья цитируется 340 раз в английской Википедии и цитируется 426 раз во всех языках.

Наивысший рейтинг по интересам авторов с 2001 года:

• Локальный (Английский): №18174 в октябре 2023 года
• Глобальный: №58562 в октябре 2023 года

Самый высокий рейтинг популярности с 2008 года:

• Локальный (Английский): №151373 в октябре 2023 года
• Глобальный: №246309 в октябре 2023 года

Для данной статьи найдено 7 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).

Данные по состоянию на 1 ноября 2023 года.

В таблице ниже показаны языковые версии статьи с наилучшим качеством.

#	Язык	Знак качества	Оценка качества
1	Английский (en) Lean (proof assistant)		33.0469
2	Украинский (uk) Lean		24.9066
3	Русский (ru) Lean		21.3277
4	Японский (ja) Lean (証明アシスタント)		14.0086
5	Вьетнамский (vi) Lean (trợ lý chứng minh)		13.6153
6	Французский (fr) Lean (assistant de preuve)		10.6629
7	Чешский (cs) Lean (programovací jazyk)		0.2887

Больше...

В следующей таблице показаны наиболее популярные языковые версии статьи.

Самые популярные языковые версии статьи "Lean (proof assistant)" за всё время

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Lean (proof assistant)		133 587
2	Русский (ru) Lean		6 219
3	Французский (fr) Lean (assistant de preuve)		4 088
4	Японский (ja) Lean (証明アシスタント)		1 273
5	Украинский (uk) Lean		196
6	Чешский (cs) Lean (programovací jazyk)		172
7	Вьетнамский (vi) Lean (trợ lý chứng minh)		104

Больше...

В следующей таблице показаны статьи с наибольшей популярностью в последний месяц.

Самые популярные языковые версии статьи "Lean (proof assistant)" в октябре 2023

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Lean (proof assistant)		8 354
2	Японский (ja) Lean (証明アシスタント)		328
3	Французский (fr) Lean (assistant de preuve)		250
4	Русский (ru) Lean		145
5	Украинский (uk) Lean		59
6	Чешский (cs) Lean (programovací jazyk)		21
7	Вьетнамский (vi) Lean (trợ lý chứng minh)		6

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов.

Языковые версии статьи "Lean (proof assistant)" с наибольшим интересом авторов (количество авторов). Учитывались только зарегистрированные пользователи Википедии.

#	Язык	Знак	Относительный ИА
1	Английский (en) Lean (proof assistant)		39
2	Французский (fr) Lean (assistant de preuve)		8
3	Русский (ru) Lean		8
4	Японский (ja) Lean (証明アシスタント)		3
5	Вьетнамский (vi) Lean (trợ lý chứng minh)		3
6	Украинский (uk) Lean		2
7	Чешский (cs) Lean (programovací jazyk)		1

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов за последний месяц.

Языковые версии статьи "Lean (proof assistant)" с наибольшим интересом авторов (количество авторов)

#	Язык	Знак	Относительный ИА
1	Английский (en) Lean (proof assistant)		8
2	Украинский (uk) Lean		2
3	Чешский (cs) Lean (programovací jazyk)		0
4	Французский (fr) Lean (assistant de preuve)		0
5	Японский (ja) Lean (証明アシスタント)		0
6	Русский (ru) Lean		0
7	Вьетнамский (vi) Lean (trợ lý chứng minh)		0

Больше...

В следующей таблице показаны языовые версии статьи с наибольшим количеством цитирования.

Языковые версии статьи "Lean (proof assistant)" с наибольшим индексом цитирования

#	Язык	Награда за ИЦ	Относительный ИЦ
1	Английский (en) Lean (proof assistant)		340
2	Русский (ru) Lean		75
3	Французский (fr) Lean (assistant de preuve)		5
4	Чешский (cs) Lean (programovací jazyk)		3
5	Украинский (uk) Lean		2
6	Японский (ja) Lean (証明アシスタント)		1
7	Вьетнамский (vi) Lean (trợ lý chứng minh)		0

Больше...

#	Язык	Ценность
cs	Чешский Lean (programovací jazyk)
en	Английский Lean (proof assistant)
fr	Французский Lean (assistant de preuve)
ja	Японский Lean (証明アシスタント)
ru	Русский Lean
uk	Украинский Lean
vi	Вьетнамский Lean (trợ lý chứng minh)

Лучшая позиция

Английский: №151373 10.2023

Глобальный: №246309 10.2023

Лучшая позиция

Английский: №18174 10.2023

Глобальный: №58562 10.2023

2 июля 2024 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Чемпионат Европы по футболу 2024, Чемпионат Европы по футболу, Криштиану Роналду, Диогу Кошта, Мерих Демирал, Кубок Америки по футболу 2024, Арда Гюлер, Сборная Турции по футболу, Кубок Америки по футболу, Головоломка 2.

В английской Википедии в этот день самыми популярными были статьи: Kalki 2898 AD, UEFA Euro 2024, Project 2025, 2024 Copa América, A Quiet Place: Day One, Deaths in 2024, Jack Draper (tennis), House of the Dragon, Nikki Hiltz, Diogo Costa.

Проект ВикиРанк предназначен для автоматической относительной оценки статей в разных языковых версиях Википедии. В настоящий момент ВикиРанк позволяет сравнивать более 44 миллионов статей Википедии на 55 языках. Показатели качества статей основаны на резервных копиях Википедии по состоянию на ноябрь 2023. При расчёте популярности учитывались статистические данные статей за последний месяц (октябре 2023 года). При расчете текущей популярности и Интереса Авторов (ИА) статей учитывались данные за октябре 2023 года. Для подсчёта исторических значений популярности и ИА использовались данные с 2001 по 2023 гг... Подробнее