Publications HAL

2020

Conference papers

auteur
Quentin Garchery, Chantal Keller, Claude Marché, Andrei Paskevich
titre
Des transformations logiques passent leur certicat
article
JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02384946/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-02369249/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-01874777/file/D%C3%A9monstration%20automatique%20en%20Coq.pdf BibTex