conf.researchr.org / Gaetan Gilbert
Not registered as user yet
Name: Gaetan Gilbert
Contributions
| POPL 2019 | Author of Definitional Proof-Irrelevance without K within the Research Papers-track |
| CPP 2017 | Author of Formalising Real Numbers in Homotopy Type Theory within the CPP-track |