Registered user since Wed 23 Nov 2022
Name:Patrick Massot
Country:France
Affiliation:Université Paris-Saclay
Personal website: https://www.imo.universite-paris-saclay.fr/~patrick.massot/
GitHub: https://github.com/PatrickMassot
Research interests:Formalized mathematics, symplectic topology
Contributions
POPL 2025-profile
View general profile
View general profile