Pinned Loading
Repositories
Showing 10 of 216 repositories
-
-
- lean-kernel-arena Public
- lean-eval-submissions Public
Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
- lean-eval-leaderboard Public
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
-
