Eric Rodriguez Boidi

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

Collaborative distances:

• Dijkstra number of six.
• 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

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