leanprover/leanprover.github.io
GitHub で見るwww
- スター
- 17
- フォーク
- 25
- オープンの初心者向け issue
- 0
- 索引済み issue
- 13
- 主要言語
- HTML
- ライセンス
- ライセンスのデータがありません
- 最終 GitHub push
- 2026年8月13日
- 最新の索引
- 2026年9月20日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 55/100
leanprover/leanprover.github.io#102 · コメント 2 件 ·
-
Website Changes オープン
難易度 5/5 1週間以上 初心者へのやさしさ 15/100
leanprover/leanprover.github.io#66 · コメント 1 件 · リアクション 3 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
leanprover/leanprover.github.io#61 · コメント 1 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 25/100
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 38/100
leanprover/leanprover.github.io#38 · コメント 2 件 ·
-
editor enhancement
leanprover/leanprover.github.io#21 · 担当者 1 名 ·
-
editor enhancement
leanprover/leanprover.github.io#20 · 担当者 1 名 ·
-
OneDrive Support オープンeditor enhancement
leanprover/leanprover.github.io#19 · 担当者 1 名 ·
-
editor
leanprover/leanprover.github.io#14 · 担当者 1 名 ·
-
editor
leanprover/leanprover.github.io#6 · 担当者 1 名 ·
-
help button オープンeditor
leanprover/leanprover.github.io#5 · 担当者 1 名 ·
-
editor
leanprover/leanprover.github.io#4 · コメント 1 件 · 担当者 1 名 ·