A complete formalization of Fermat's Last Theorem for regular primes in Lean

3 ColinWright 0 6/16/2025, 9:08:22 AM arxiv.org ↗

Comments (0)

No comments yet