Wiki Agenda Contact English version

Publications : Quentin Garchery

[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 ]

This page was generated by bibtex2html.