Registered user since Mon 16 Jan 2017
Name:Cyril Cohen
Country:France
Affiliation:Inria, CNRS, ENS Lyon, UCBL, LIP
Personal website: http://cyrilcohen.fr
GitHub: https://github.com/CohenCyril
Research interests:Proof assistants, Formalized mathematics, Rocq
Contributions
Using general profile