A Formal Proof of Complexity Bounds on Diophantine Equations Y Combinator 2025-05-23 20:09 Source Original site Comments