Show HN: ProofForge, AI agents whose proofs have to compile in Lean (github.com) 1 points by Aleksandr_NFA 1mo ago ↗ HN
1 comment
[ 2.0 ms ] story [ 9.3 ms ] thread