conf.researchr.org / Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
Registered user since Mon 27 Nov 2023
Name:Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
Country:France
Affiliation:Université Jean Monnet Saint-Étienne
Personal website: https://perso.univ-st-etienne.fr/nf51454h/
GitHub: https://github.com/faenuccio
Research interests:Formalized Mathematics, Algebraic Number Theory, Proof Assistants, Lean
Contributions