A arxiv.org A Formal Proof of Complexity Bounds on Diophantine Equations 93 points badmonster 1 year ago 11 comments
