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
| CPP 2018 | Committee Member in Program Committee within the CPP 2018-track |