Sanexxxx777/ProofForge
AI-agent pipeline producing machine-verified Lean 4 proofs — four PRs merged into Google DeepMind's formal-conjectures
1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: ProofForge, AI agents whose proofs have to compile in Lean (1 points, 0 comments, by Aleksandr_NFA, 2026-09-26)