Registered user since Tue 22 Oct 2024
Name:Mathis Bouverot-Dupuis
Country:France
Affiliation:INRIA & École Normale Supérieure
Personal website: https://mathisbd.github.io/
GitHub: https://github.com/MathisBD
Research interests:Proof assistants (mainly Coq and Lean) & metaprogramming
Contributions
Using general profile