Proverbench RL Env (Community)

Fresh

ProverBench theorem proving environment with Lean 4 verification via kimina-lean-server

Type: RL Env
Tags: Theorem Proving Lean4 Mathematics Prover Bench
Runtime: single-turn
License: unknown
Size: v0.1.0
Published: Dec 2025
Canonical: app.primeintellect.ai/dashboard/environments/akhildeo/ProverBench

Cite

Notes

Only stored in your browser.

Attribution

README: api.primeintellect.ai/api/v1/environmentshub/akhildeo/ProverBench/@0.1.0/inspect

Attribution policy →

Contributors

1