githubinferredactive
lean-prover
provenance:github:Lean-Prover/lean-prover
An autonomous Lean 4 theorem-proving agent: LLM-drafted proofs iteratively repaired against lake compiler diagnostics with LSP goal-state feedback until type-checked. 68/100 on a graded 100-problem benchmark using a free 27B endpoint, $0.
PUBLIC HISTORY
First discoveredAug 19, 2026
IDENTITY
inferred
Identity inferred from code signals. No PROVENANCE.yml found.
Is this yours? Claim it →METADATA
platformgithub
first seenAug 17, 2026
last updatedAug 18, 2026
last crawledtoday
version—
README BADGE
Add to your README:
