Show HN: ProofForge, AI agents whose proofs have to compile in Leanhttps://github.com/Sanexxxx777/ProofForge
Article URL: https://github.com/Sanexxxx777/ProofForge Comments URL: https://news.ycombinator.com/item?id=49860363 Points: 1 # Comments: 0
🔍 Search