Gaëtan Gilbert
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The Rewster: type preserving rewrite rules for the Rocq Prover. Extended version of the ITP 2024 paper Journal of Automated Reasoning | 2026-05-28 | Paper |
| Design and implementation of the andromeda proof assistant | 2026-02-20 | Paper |
| The rewster: type preserving rewrite rules for the Coq proof assistant | 2026-02-10 | Paper |
| Normalisation by completeness with Heyting algebras Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Research outcomes over time
This page was built for person: Gaëtan Gilbert
