Lean

品質:

这种编程语言是 第271名全球维基百科排名中最受欢迎的编程语言 和 第241名最受欢迎编程语言 韓語維基百科中. 韓語維基百科的「Lean」文章品質得分為 37.7 分（截至2026年7月1日）. 本文包含 28 篇參考文獻和 11 個章節。

這篇文章是英語維基百科中品質最好的。 此外，這篇文章是該語言版本（韓語）中最受歡迎的。

成就 所有时间:

韓語維基百科:

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

全球維基百科:

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

2026年6月，Lean」一文由韓語維基百科的 1 位作者編輯，並由 7 位所有語言的作者撰寫。

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

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

該文章在韓語維基百科中被引用 3 次，在所有語言中被引用 529 次。

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

• 當地的（韓語）：2025 年 6 月12426號
• 全球的：2024 年 6 月28783號

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

• 當地的（韓語）：2026 年 2 月75180號
• 全球的：2026 年 4 月88378號

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

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

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

#	语言	质量等级	质量分数
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

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

#	语言	人气奖	相对人气
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

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

#	语言	人气奖	相对人气
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

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

#	语言	作者兴趣奖	作者相对兴趣
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

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

#	语言	作者兴趣奖	作者相对兴趣
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

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

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

韓語維基百科當天最受歡迎的文章是：문화방송、한국방송공사、함돈균、한국교육방송공사、유영철、유튜브、대한민국에서 건물주 되는 법、엄흥도、미혼남녀의 효율적 만남 (드라마)、기후정의.

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