newest
Open in hackernews
A complete formalization of Fermat's Last Theorem for regular primes in Lean
https://arxiv.org/abs/2410.01466
3
•
ColinWright
•
5h ago