Pinned Loading
Repositories
Showing 10 of 107 repositories
- comparator-live Public
An online live.lean-lang.org-style playground for running the Comparator tool
leanprover/comparator-live’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 - lp Public
Stub: planned Lean 4 FFI bindings for SoPlex (iterative-refinement exact LP). PLAN.md only.
leanprover/lp’s past year of commit activity - lp-backend-soplex-ffi Public
LPBackend adapter for kim-em/soplex-ffi. Priority 10 (FFI band). The native backend kim-em/soplex defaults to.
leanprover/lp-backend-soplex-ffi’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
Top languages
Loading…
Most used topics
Loading…