Pinned Loading
Repositories
Showing 10 of 97 repositories
- comparator Public
leanprover/comparator’s past year of commit activity - lean4-cli Public
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
leanprover/lean4-cli’s past year of commit activity - lean-eval-submissions Public
Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
leanprover/lean-eval-submissions’s past year of commit activity - lean-eval-leaderboard Public
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
leanprover/lean-eval-leaderboard’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…