Show HN: ProofForge, AI agents whose proofs have to compile in Lean(github.com)
1 pointby Aleksandr_NFAan hour ago1 comment