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:Formalised Mathematics, Proof Assistants, Lean, Number Theory, Functional Analysis
Contributions
Using general profile