TY  - RPRT
TI  - A complete formalization of Fermat's Last Theorem for regular primes in Lean
AU  - Alex Best
AU  - Christopher Birkbeck
AU  - Riccardo Brasca
AU  - Eric Rodriguez Boidi
AU  - Ruben van De Velde
AU  - Andrew Yang
PY  - 2025
UR  - https://arxiv.org/abs/2410.01466
ID  - 2410.01466
ER  -