Registered user since Wed 1 Oct 2025
Name:Thiago Felicissimo
Country:France
Affiliation:Inria
Personal website: https://felicissimo.fr/
Research interests:Type Theory, Dependent Types, Proof Assistants, Logical Frameworks, Rewriting
Contributions
Using general profile