Formalizing Fermat's Last Theorem (via ni5arga) — discussion

#math #vibecoding