2022
Theses
- auteur
- Quentin Garchery
- titre
- Certification de la transformation de tâches de preuve
- article
- Logique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
- auteur
- Quentin Garchery, Chantal Keller, Claude Marché, Andrei Paskevich
- titre
- Des transformations logiques passent leur certificat
- article
- JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
- Accès au texte intégral et bibtex
-
2019
Conference papers
- auteur
- Valentin Blot, Amina Bousalem, Quentin Garchery, Chantal Keller
- titre
- SMTCoq: automatisation expressive et extensible dans Coq
- article
- JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
- Accès au texte intégral et bibtex
-
2018
Reports
- auteur
- Quentin Garchery
- titre
- Démonstration automatique en Coq
- article
- [Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018
- Accès au texte intégral et bibtex
-