A Matter of Trust: Skeptical Communication Between Coq and External Provers. (Question de confiance : communication sceptique entre Coq et des prouveurs externes)

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]

Abstract

Abstract is missing.