Riccardo Brasca

According to our database, Riccardo Brasca authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Synthetic Differential Geometry in Lean.

Riccardo Brasca, Gabriella Clemente

CoRR, March, 2026

2025

A complete formalization of Fermat's Last Theorem for regular primes in Lean.

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang

Ann. Formaliz. Math., 2025

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