RepoProver's AI Agents Formalize a Full Grad Textbook in Lean—Automatically
A single open-source tool just turned a 500-page grad textbook into verifiable Lean proofs, all hands-off. RepoProver's multi-agent swarm is rewriting how we formalize math.
#lean-formalization