Lean (proof assistant)

品質:

Lean定理証明支援系 - 定理証明支援系. このプログラミング言語は 358番目グローバルなウィキペディアランキングで最も人気のあるプログラミング言語 そして 316番目で最も人気のあるプログラミング言語 英語版ウィキペディア. 英語版ウィキペディアの記事「Lean (proof assistant)」の品質点は 41.4 点です（2025年7月1日現在）。 この記事には 28 の参考文献と 11 のセクションが含まれています。

この記事は中国語版の中で最も質が高いです。 ただし、この記事は英語版で最も人気があります。

実績 全期間:

英語版ウィキペディア:

英語版ウィキペディアでは316番目に人気のあるプログラミング言語.

グローバルウィキペディア:

プログラミング言語では358番目に人気のある.

2025年6月、英語版ウィキペディアの記事「Lean (proof assistant)」が 4人の著者によって編集され、9人の著者によってすべての言語で書かれました。

記事「Lean (proof assistant)」の作成以来、その内容は英語版ウィキペディアの登録ユーザー 20 名によって書かれ、すべての言語のウィキペディア登録ユーザー 131 名によって編集されました。

Lean定理証明支援系は英語版ウィキペディアのローカル都プログラミング言語ランキングで316位、世界都プログラミング言語ランキングで358位にランクインしている。

この記事は英語版ウィキペディアで 350 回引用され、すべての言語でも 493 回引用されています。

2001 年からの著者の最も関心の高いランキング:

• 地元（英語版）：2023年10月に18174位
• グローバル：2024年6月に28697位

2008 年の最高人気ランキング:

• 地元（英語版）：2025年6月に82170位
• グローバル：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

次の表は、引用数が最も多い記事の言語バージョンを示しています。

2025年8月12日の多言語ウィキペディアでは、インターネット ユーザーは次のトピックに関する記事を最もよく読んでいます: クリスティアーノ・ロナウド、ウェンズデー、ジョージナ・ロドリゲス、ChatGPT、Weapons、ジェナ・オルテガ、訃報 2025年、テイラー・スウィフト、Miguel Uribe Turbay、UEFAチャンピオンズリーグ 2025-26。

英語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: Weapons (2025 film)、Danielle Spencer (American actress)、Cristiano Ronaldo、Deaths in 2025、Taylor Swift、Wednesday (TV series)、Superman (2025 film)、Georgina Rodríguez、Coolie (2025 film)、The Fantastic Four: First Steps。

このプロジェクトは、さまざまな言語版の Wikipedia の記事を自動的に相対評価することを目的としています。 現時点では、このサービスでは 55 の言語で 4,400 万件以上の Wikipedia 記事を比較できます。 記事の品質スコアは、2025年7月のウィキペディアのダンプに基づいています。 著者の現在の人気と関心を計算する際には、2025年6月のデータが考慮されました。 著者の人気と関心の歴史的価値について、WikiRank は 2001 年から 2025 年までのデータを使用しました。 詳しくは