2 ms·
They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.
by raincole 2y ago
They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.
loading thread…
2 ms·