Hacker News new | ask | show | jobs
by raincole 700 days ago
They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.