Lean

品質:

这种编程语言是 第358名全球维基百科排名中最受欢迎的编程语言 和 第399名最受欢迎编程语言 俄語維基百科中. 俄語維基百科的「Lean」文章品質得分為 21.4 分（截至2025年7月1日）. 本文包含 6 篇參考文獻和 5 個章節。

這篇文章是中文維基百科中品質最好的。 然而，本文最流行的語言版本是英語。

成就 所有时间:

俄語維基百科:

俄語維基百科中中第第399名最受歡迎的编程语言.

全球維基百科:

编程语言中第第358名最受歡迎的.

自「Lean」文章創建以來，其內容由 8 名俄語維基百科註冊用戶撰寫，並由 131 名所有語言的註冊維基百科用戶編輯。

Lean在當地俄語維基百科全编程语言排名中名列第 399 位，在全球所有時間圖编程语言排名中名列第 358 位。

該文章在俄語維基百科中被引用 76 次，在所有語言中被引用 493 次。

2001 年以來作者的最高興趣排名：

• 當地的（俄語）：2022 年 9 月6920號
• 全球的：2024 年 6 月28697號

2008年以來的最高人氣排名：

• 當地的（俄語）：2021 年 11 月108367號
• 全球的：2025 年 6 月114703號

WikiRank 資料庫中本文有 14 種語言版本（所考慮的 55 個維基百科語言版本）。

品質和受歡迎程度評估是基於 2025年7月1日的維基百科轉儲（包括前幾年的修訂歷史和頁面瀏覽量）。

下表顯示了最高品質的文章的語言版本。

#	语言	质量等级	质量分数
1	中文 (zh) Lean		43.701
2	英語 (en) Lean (proof assistant)		41.432
3	日語 (ja) Lean (証明アシスタント)		40.2582
4	韓語 (ko) Lean (증명 보조기)		36.9689
5	德語 (de) Lean (Beweisassistent)		33.1162
6	波斯語 (fa) لین (دستیار اثبات)		27.3846
7	西班牙語 (es) Lean		27.0661
8	烏克蘭語 (uk) Lean		24.9345
9	俄語 (ru) Lean		21.3667
10	越南語 (vi) Lean (trợ lý chứng minh)		13.4232

下表顯示了本文最受歡迎的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		296 974
2	日語 (ja) Lean (証明アシスタント)		12 226
3	俄語 (ru) Lean		10 798
4	西班牙語 (es) Lean		8 844
5	法語 (fr) Lean (assistant de preuve)		8 560
6	中文 (zh) Lean		6 592
7	德語 (de) Lean (Beweisassistent)		5 673
8	烏克蘭語 (uk) Lean		592
9	葡萄牙語 (pt) Lean (linguagem de programação)		456
10	捷克語 (cs) Lean (programovací jazyk)		435

下表顯示了上個月最受歡迎的文章的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Lean (proof assistant)		13 505
2	日語 (ja) Lean (証明アシスタント)		1 112
3	中文 (zh) Lean		933
4	德語 (de) Lean (Beweisassistent)		463
5	法語 (fr) Lean (assistant de preuve)		372
6	俄語 (ru) Lean		348
7	西班牙語 (es) Lean		158
8	葡萄牙語 (pt) Lean (linguagem de programação)		84
9	捷克語 (cs) Lean (programovací jazyk)		38
10	韓語 (ko) Lean (증명 보조기)		32

下表顯示了作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		66
2	德語 (de) Lean (Beweisassistent)		13
3	法語 (fr) Lean (assistant de preuve)		12
4	日語 (ja) Lean (証明アシスタント)		8
5	俄語 (ru) Lean		8
6	波斯語 (fa) لین (دستیار اثبات)		4
7	荷蘭語 (nl) Lean (bewijsassistent)		4
8	越南語 (vi) Lean (trợ lý chứng minh)		4
9	西班牙語 (es) Lean		3
10	葡萄牙語 (pt) Lean (linguagem de programação)		3

下表顯示了上個月作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Lean (proof assistant)		4
2	韓語 (ko) Lean (증명 보조기)		2
3	德語 (de) Lean (Beweisassistent)		1
4	日語 (ja) Lean (証明アシスタント)		1
5	中文 (zh) Lean		1
6	捷克語 (cs) Lean (programovací jazyk)		0
7	西班牙語 (es) Lean		0
8	波斯語 (fa) لین (دستیار اثبات)		0
9	法語 (fr) Lean (assistant de preuve)		0
10	荷蘭語 (nl) Lean (bewijsassistent)		0

下表顯示了被引用次數最高的文章的語言版本。

2026年3月16日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：第98屆奧斯卡金像獎、麥可·B·喬丹、罪人、傑茜·巴克利、保羅·湯瑪斯·安德森、西恩·潘、一戰再戰、艾美·麥迪根、哈姆奈特、提莫西·查拉梅。

俄語維基百科當天最受歡迎的文章是：Господин Никто против Путина、Битва за битвой、Оскар (кинопремия, 2026)、Андрей Юрьевич Боголюбский、Грешники (фильм, 2025)、Пенн, Шон、Джордан, Майкл Бакари、Чекалина, Валерия Валерьевна、Бехтерева, Наталья Петровна、Князь Андрей.

該計畫旨在對維基百科各種語言版本的文章進行自動相對評估。 目前，該服務允許比較 55 種語言的超過 4,400 萬篇維基百科文章。 文章的品質分數是根據 2025年7月的維基百科轉儲。 在計算作者當前的受歡迎程度和興趣時，考慮了 2025年6月的數據。 對於作者受歡迎程度和興趣的歷史價值，WikiRank 使用了 2001 年至 2025 年的數據。 更多資訊