Riccardo Brasca

According to our database, Riccardo Brasca authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Categorical Foundations of Formalized Condensed Mathematics.

Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz

CoRR, 2024

2023

Fermat's Last Theorem for regular primes.

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi

CoRR, 2023

Fermat's Last Theorem for Regular Primes (Short Paper).

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023