conf.researchr.org / Théo Winterhalter
Registered user since Wed 7 Mar 2018
Name:Théo Winterhalter
Country:France
Affiliation:INRIA
Personal website: https://theowinterhalter.github.io/
X (Twitter): https://x.com/winterhalter_t
Research interests:Dependent type theory, proof assistants, verification, formal methods
Contributions