↑
Show HN: ProofForge, AI agents whose proofs have to compile in Lean
Posted by
Aleksandr_NFA
|
3 hours ago |
0 comments
Aleksandr_NFA 3 hours ago
[flagged]
