Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers. (Question de confiance : communication sceptique entre Coq et des prouveurs externes). PhD thesis, École Polytechnique, Palaiseau, France, 2013. [doi]
@phdthesis{hal-1946,
title = {A Matter of Trust: Skeptical Communication Between Coq and External Provers. (Question de confiance : communication sceptique entre Coq et des prouveurs externes)},
author = {Chantal Keller},
year = {2013},
url = {https://tel.archives-ouvertes.fr/pastel-00838322},
researchr = {https://researchr.org/publication/hal-1946},
cites = {0},
citedby = {0},
school = {École Polytechnique, Palaiseau, France},
}