Show HN: ProofForge, AI agents whose proofs have to compile in Lean

1 pointsposted 14 hours ago
by Aleksandr_NFA
(github.com)

1 Comments