Pinned Loading
Repositories
- lean-beam Public
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
- lp Public
Linear programming in Lean 4: lp and maximize tactics, plus a verified SoPlex-backed solver.
- lean-eval-leaderboard Public
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
- lp-backend-soplex-ffi Public
LPBackend adapter for kim-em/soplex-ffi. Priority 10 (FFI band). The native backend kim-em/soplex defaults to.
- lp-backend-soplex-json Public
LPBackend adapter: drives an external SoPlex binary through a JSON stdio protocol. Priority 50 for the by lp tactic registry.
- lp-backend-pure Public
LPBackend adapter: pure-Lean LP solver, zero native deps. Priority 100 for the by lp tactic registry.
- lp-tactic Public
The by lp and maximize tactics, LPBackend registry, solveVerified drivers. Factored out of kim-em/soplex (issue #50).
Top languages
Loading…
Most used topics
Loading…