Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in CoqMatthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, and Théo WinterhalterDOI 10.1145/3371076
Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in CoqSozeau, MatthieuAssociation for Computing Machinery (ACM)2020DOI 10.1145/3371076
Le CoqJ. B. WhitmoreOxford University Press; Oxford University Press (OUP) (ISSN 0029-3970)1938DOI 10.1093/nq/175.23.405d
“Le Coq Francais.”C. W. BinghamOxford University Press; Oxford University Press (OUP) (ISSN 0029-3970)1871DOI 10.1093/nq/s4-vii.160.54a
