![Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio](https://popl24.sigplan.org/getProfileImage/filippoalbertoedoardonucciomortarinomajnodicapriglio/56919540-18da-455d-a648-9c176db9a709/small.jpg?1713475848000)
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
POPL 2024-profile
View general profile
View general profile