AI
Show HN: ProofForge, AI agents whose proofs have to compile in Lean
Article URL: https://github.com/Sanexxxx777/ProofForge
Comments URL: https://news.ycombinator.com/item?id=49860363
Points: 1
# Comments: 0
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews