conf.researchr.org / Laurent Théry
Registered user since Wed 19 Apr 2017
Name:Laurent Théry
Bio:
Researcher at INRIA
Country:France
Affiliation:INRIA
Personal website: http://www-sop.inria.fr/marelle/Laurent.Thery/me.html
Research interests:Theorem Proving, Formal Mathematics
Contributions