author-photo

Gaëtan Gilbert

École normale supérieure de Lyon

4

Papers

20

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Formalising real numbers in homotopy type theory

2017 CPP | Certified Programs and Proofs
- Gaëtan Gilbert
Show All
- Source
- Cite
- Save
Citations (10)
Formalising Real Numbers in Homotopy Type Theory

2016 arXiv: Logic in Computer Science
- Gaëtan Gilbert
Show All
- Source
- Cite
- Save
Citations (2)
Design and Implementation of the Andromeda Proof Assistant.

2016 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (6)
Normalisation by Completeness with Heyting Algebras

2015 ICLP | International Conference on Logic Programming
- Gaëtan Gilbert
- Olivier Hermant
Show All
- Source
- Cite
- Save
Citations (2)