Open Source2h ago
Detected, not submitted
ProofForge
Own ProofForge?
Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.
AI agents that generate mathematical proofs which must compile in Lean
Spotted on Hacker News on September 26, 2026.
AL
Aleksandr_NFA
Maker