Eric Rodriguez Boidi

According to our database, Eric Rodriguez Boidi authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

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

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