3 ms·
Yeah lol i don't think either is hard to formalize in lean
by Davidzheng 2y ago
Yeah lol i don't think either is hard to formalize in lean
- raincole 2y agoThey're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.