Publications : Quentin Garchery
Retour| [5] | Quentin Garchery. Certification de la transformation de tâches de preuve. Thèse de doctorat, Université Paris-Saclay, 2022. [ bib | full text on HAL ] |
| [4] | Quentin Garchery. A framework for proof-carrying logical transformations. In Proof eXchange for Theorem Proving, volume 336 of Electronic Proceedings in Theoretical Computer Science, pages 5--23, July 2021. [ bib | DOI | full text on HAL ] |
| [3] | Quentin Garchery, Chantal Keller, Claude Marché, and Andrei Paskevich. Des transformations logiques passent leur certicat. In Zaynah Dargaye and Yann Régis-Gianas, editors, Trente-et-unièmes Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020. [ bib | full text on HAL ] |
| [2] | Valentin Blot, Amina Bousalem, Quentin Garchery, and Chantal Keller. SMTCoq: automatisation expressive et extensible dans Coq. In Nicolas Magaud and Zaynah Dargaye, editors, Trentièmes Journées Francophones des Langages Applicatifs, Les Rousses, France, January 2019. [ bib | full text on HAL ] |
| [1] | Quentin Garchery. Démonstration automatique en Coq. Master thesis, Université Paris Diderot, 2018. [ bib | full text on HAL ] |
Retour
This page was generated by bibtex2html.