Automatically Generalizing Theorems Using Typeclasses (short paper). - Alex J. Best (CICM Workshops, 2021)

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. - Anne Baanen; Alex J. Best; Nirvana Coppola; Sander R. Dahmen (CPP, 2023)

Fermat's Last Theorem for Regular Primes (Short Paper). - Alex J. Best; Christopher Birkbeck; Riccardo Brasca; Eric Rodriguez Boidi (ITP, 2023)

Fermat's Last Theorem for regular primes. - Alex J. Best; Christopher Birkbeck; Riccardo Brasca; Eric Rodriguez Boidi (CoRR, 2023)

A complete formalization of Fermat's Last Theorem for regular primes in Lean. - Riccardo Brasca; Christopher Birkbeck; Eric Rodriguez Boidi; Alex J. Best; Ruben van De Velde; Andrew Yang (CoRR, 2024)