Lean

品質:

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

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

成就 所有时间:

西班牙語維基百科:

西班牙語維基百科中中第第191名最受歡迎的编程语言.

全球維基百科:

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

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

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

該文章在西班牙語維基百科中被引用 5 次，在所有語言中被引用 529 次。

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

• 當地的（西班牙語）：2023 年 11 月12951號
• 全球的：2024 年 6 月28783號

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

• 當地的（西班牙語）：2018 年 1 月65157號
• 全球的：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年7月1日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：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.

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