Lean Verifier Env

Fresh

Lean proof-verification environment for Prime Intellect / verifiers (AXLE or local Lean backend).

Type: RL Env
Tags: Lean Theorem Proving Verification Axle
License: mit
Size: v0.9.7
Published: Jun 2026
Canonical: app.primeintellect.ai/dashboard/environments/pradheep/lean-verifier-env

Cite

Notes

Only stored in your browser.

Attribution

README: api.primeintellect.ai/api/v1/environmentshub/pradheep/lean-verifier-env/@0.9.7/inspectMIT

Attribution policy →

Contributors

1