3 ms·A complete formalization of Fermat's Last Theorem for regular primes in Lean4 points by ColinWright 1y ago