Lean

Lean - инструмент интерактивного доказательства теорем. Этот язык программирования занимает 271-е место в глобальном рейтинге языков программирования и 191-е место в рейтинге языков программирования в Испанской Википедии. Статья «Lean» в испанской Википедии имеет 26.7 баллов за качество (по состоянию на 1 июля 2026 года). Статья содержит, среди прочих показателей, 11 примечаний и 7 разделов. Эта статья имеет наилучшее качество в английской Википедии. Также, статья наиболее популярна в этой языковой версии (испанской).

С момента создания статьи «Lean» ее содержимое было создано 3 зарегистрированными пользователями испанской Википедии и редактировано 162 зарегистрированными пользователями Википедии во всех языковых версиях.

Статья «Lean» находится на 191-м месте в локальном рейтинге языков программирования в испанской Википедии и на 271-м месте в глобальном рейтинге языков программирования за всё время.

Эта статья цитируется 5 раз в испанской Википедии и цитируется 529 раз во всех языках.

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

• Локальный (Испанский): №12951 в ноябре 2023 года
• Глобальный: №28783 в июне 2024 года

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

• Локальный (Испанский): №65157 в январе 2018 года
• Глобальный: №88378 в апреле 2026 года

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

Данные по состоянию на 1 июля 2026 года.

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

#	Язык	Знак качества	Оценка качества
1	Английский (en) Lean (proof assistant)		52.9186
2	Китайский (zh) Lean		43.6374
3	Японский (ja) Lean (証明アシスタント)		40.8613
4	Корейский (ko) Lean		37.6596
5	Немецкий (de) Lean (Beweisassistent)		33.7663
6	Персидский (fa) لین (دستیار اثبات)		27.1992
7	Испанский (es) Lean		26.725
8	Русский (ru) Lean		25.6903
9	Украинский (uk) Lean		24.7899
10	Французский (fr) Lean (assistant de preuve)		14.9046

Больше...

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

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

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Lean (proof assistant)		447 227
2	Испанский (es) Lean		44 860
3	Японский (ja) Lean (証明アシスタント)		34 449
4	Русский (ru) Lean		19 910
5	Китайский (zh) Lean		15 208
6	Французский (fr) Lean (assistant de preuve)		14 777
7	Немецкий (de) Lean (Beweisassistent)		12 891
8	Португальский (pt) Lean (linguagem de programação)		1 394
9	Корейский (ko) Lean		1 044
10	Украинский (uk) Lean		931

Больше...

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

Самые популярные языковые версии статьи "Lean" в июне 2026

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Lean (proof assistant)		12 614
2	Японский (ja) Lean (証明アシスタント)		1 744
3	Китайский (zh) Lean		821
4	Французский (fr) Lean (assistant de preuve)		631
5	Немецкий (de) Lean (Beweisassistent)		569
6	Русский (ru) Lean		550
7	Испанский (es) Lean		200
8	Португальский (pt) Lean (linguagem de programação)		124
9	Корейский (ko) Lean		65
10	Украинский (uk) Lean		29

Больше...

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

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

#	Язык	Знак	Относительный ИА
1	Английский (en) Lean (proof assistant)		82
2	Немецкий (de) Lean (Beweisassistent)		16
3	Французский (fr) Lean (assistant de preuve)		14
4	Японский (ja) Lean (証明アシスタント)		13
5	Русский (ru) Lean		9
6	Персидский (fa) لین (دستیار اثبات)		5
7	Нидерландский (nl) Lean (bewijsassistent)		5
8	Вьетнамский (vi) Lean (trợ lý chứng minh)		5
9	Португальский (pt) Lean (linguagem de programação)		4
10	Испанский (es) Lean		3

Больше...

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

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

#	Язык	Знак	Относительный ИА
1	Английский (en) Lean (proof assistant)		3
2	Японский (ja) Lean (証明アシスタント)		2
3	Корейский (ko) Lean		1
4	Португальский (pt) Lean (linguagem de programação)		1
5	Чешский (cs) Lean (programovací jazyk)		0
6	Немецкий (de) Lean (Beweisassistent)		0
7	Испанский (es) Lean		0
8	Персидский (fa) لین (دستیار اثبات)		0
9	Французский (fr) Lean (assistant de preuve)		0
10	Нидерландский (nl) Lean (bewijsassistent)		0

Больше...

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

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

#	Язык	Награда за ИЦ	Относительный ИЦ
1	Английский (en) Lean (proof assistant)		360
2	Русский (ru) Lean		79
3	Китайский (zh) Lean		38
4	Японский (ja) Lean (証明アシスタント)		12
5	Французский (fr) Lean (assistant de preuve)		10
6	Немецкий (de) Lean (Beweisassistent)		6
7	Чешский (cs) Lean (programovací jazyk)		5
8	Испанский (es) Lean		5
9	Персидский (fa) لین (دستیار اثبات)		3
10	Корейский (ko) Lean		3

Больше...

#	Язык	Ценность
cs	Чешский Lean (programovací jazyk)
de	Немецкий Lean (Beweisassistent)
en	Английский Lean (proof assistant)
es	Испанский Lean
fa	Персидский لین (دستیار اثبات)
fr	Французский Lean (assistant de preuve)
ja	Японский Lean (証明アシスタント)
ko	Корейский Lean
nl	Нидерландский Lean (bewijsassistent)
pt	Португальский Lean (linguagem de programação)
ru	Русский Lean
uk	Украинский Lean
vi	Вьетнамский Lean (trợ lý chứng minh)
zh	Китайский Lean

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

Испанский: №65157 01.2018

Глобальный: №88378 04.2026

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

Испанский: №12951 11.2023

Глобальный: №28783 06.2024

1 июля 2026 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

В испанской Википедии в этот день самыми популярными были статьи: Copa Mundial de Fútbol de 2026, Julián Andrés Quiñones, Gilberto Mora Zambrano, Sebastián Beccacece, Raúl Jiménez, República Democrática del Congo, Javier Aguirre, Erling Haaland, Copa Mundial de Fútbol, Romelu Lukaku.

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