Formalizing Fermat's Last Theorem

by jlebar | View on Hacker News