leanprover/lean-workbench
GitHub で見るOnline Lean Workbench
- スター
- 9
- フォーク
- 1
- オープンの初心者向け issue
- 1
- 索引済み issue
- 23
- 平均マージ
- 2日 3時間
- マージ済み PR（30日）
- 35
- 主要言語
- TypeScript
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年9月18日
- 最新の索引
- 2026年9月20日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
leanprover/lean-workbench#142 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
leanprover/lean-workbench#140 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
leanprover/lean-workbench#132 · コメント 1 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 64/100
leanprover/lean-workbench#130 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 32/100
leanprover/lean-workbench#127 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
leanprover/lean-workbench#126 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
leanprover/lean-workbench#119 · コメント 1 件 ·
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 65/100
leanprover/lean-workbench#99 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 58/100
leanprover/lean-workbench#90 · リアクション 1 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
leanprover/lean-workbench#85 ·
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
leanprover/lean-workbench#65 ·
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
leanprover/lean-workbench#62 ·
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 52/100
leanprover/lean-workbench#61 ·
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
leanprover/lean-workbench#55 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
leanprover/lean-workbench#54 ·
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
leanprover/lean-workbench#53 ·
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 42/100
leanprover/lean-workbench#50 ·
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
leanprover/lean-workbench#49 ·
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
leanprover/lean-workbench#41 ·
-
enhancement
leanprover/lean-workbench#29 · 担当者 1 名 ·
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
leanprover/lean-workbench#26 ·
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
leanprover/lean-workbench#21 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 28/100
leanprover/lean-workbench#16 · コメント 4 件 ·