Lean Verifier
Fresh
Anti-gameable Lean 4 theorem-proving environment for `verifiers`, rewarded by a real Kimina/Lean proof check (on-prem, GPU-free).
- Type
- RL Env
- License
- unknown
- Size
- v0.1.2
- Published
- Jun 2026
Cite
Notes
Only stored in your browser.
Anti-gameable Lean 4 theorem-proving environment for `verifiers`, rewarded by a real Kimina/Lean proof check (on-prem, GPU-free).
Cite
Notes
Only stored in your browser.