The Coq Proof Assistant : A Tutorial : Version 6.1

@inproceedings{Huet1997TheCP,
  title={The Coq Proof Assistant : A Tutorial : Version 6.1},
  author={G{\'e}rard Huet and Gilles Kahn and Christine Paulin-Mohring},
  year={1997}
}
Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. This document is a tutorial for the version V6.1 of Coq. This version is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 40 CITATIONS