Lean

品質:

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

この記事は英語版の中で最も質が高いです。 また、この記事はその言語版（ロシア語版）で最も人気があります。

実績 全期間:

ロシア語版ウィキペディア:

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

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

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

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

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

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

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

• 地元（ロシア語版）：2022年9月に6886位
• グローバル：2024年6月に28783位

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

• 地元（ロシア語版）：2026年1月に72251位
• グローバル：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é。

ロシア語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: Чемпионат мира по футболу 2026、Демократическая Республика Конго、Иванов, Сергей Борисович、Список бомбардиров чемпионатов мира по футболу、Холанн, Эрлинг、Мбаппе, Килиан、Джексон, Майкл、Кейн, Гарри、Чемпионат мира по футболу、Сенегал。

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