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)

Categorical Foundations of Formalized Condensed Mathematics. - Dagur Asgeirsson; Riccardo Brasca; Nikolas Kuhn; Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio; Adam Topaz (CoRR, 2024)

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)