People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Benjamin Gregoire, Laurent Thery, Benjamin Werner: Defining and Reasoning about Recursive Functions: a practical tool for the Coq proof assistant
Laurent Thery (lecture notes available in 506) Agda, Alfa Catarina Coquand (Introduction to structured type theory, the Agda interactive proof editor and its graphical interface Alfa)
Laurent Thery, Coq , Coq; Session 4. Software for Algebraic Geometry and Related Topics, Nobuki Takayama, advisory organizer: Gert-Martin Greuel
Formalisation (Proof-checking): Laurent Théry: 16:30-17:15 Informatics Section Members & Speakers Dinner 19:00-... Practicalities. Venue: Budapest University of Technology and ...
Formalisation (Proof-checking): Laurent Théry: 16:45-17:30 .pdf. Informatics Section Members & Speakers Dinner 19:00-... Sponsors. Main Sponsor
Benjamin Gregoire, Laurent Thery, Benjamin Werner: Defining and Reasoning about Recursive Functions: a practical tool for the Coq proof assistant
I did my PhD research in the MARELLE team of INRIA Sophia-Antipolis and under the supervision of Laurent Théry. I was also a member of the Mathematical Components project ...
Laurent Thery (lecture notes available in 506) Agda, Alfa Catarina Coquand (Introduction to structured type theory, the Agda interactive proof editor and its graphical ...
Linkedin