Show HN: ProofForge, AI agents whose proofs must compile in Lean
Read the original at github.com→Original headline: "Show HN: ProofForge, AI agents whose proofs have to compile in Lean"
Coverage timeline
- Sep 26, 20:44 UTC Hacker News (AI) lead source Show HN: ProofForge, AI agents whose proofs have to compile in Lean