leanprover/lean-eval
GitHub で見るComparator-based Lean formal mathematics eval
- スター
- 46
- フォーク
- 39
- オープンの初心者向け issue
- 0
- 索引済み issue
- 8
- 平均マージ
- 54分
- マージ済み PR（30日）
- 80
- 主要言語
- Lean
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年9月16日
- 最新の索引
- 2026年9月20日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
leanprover/lean-eval#642 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 64/100
leanprover/lean-eval#637 · リアクション 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
leanprover/lean-eval#634 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
leanprover/lean-eval#551 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
leanprover/lean-eval#533 · コメント 5 件 · リアクション 3 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 68/100
leanprover/lean-eval#518 · コメント 2 件 · リアクション 1 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
leanprover/lean-eval#511 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
leanprover/lean-eval#421 ·