Registered user since Wed 19 Apr 2017

Name:Laurent Théry
Bio:

Researcher at INRIA

Country:France
Affiliation:INRIA
Research interests:Theorem Proving, Formal Mathematics

Contributions