Document: coq-tutorial-pdf
Title: The Coq Proof Assistant -- A Tutorial
Author: Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
Abstract: This documents presents in the most elementary manner a tutorial on the basic specification language of the Coq proof-assistant, called Gallina, in which formal axiomatisations may be developed, and on the main proof tools.
Section: Science/Mathematics

Format: PDF
Files: /usr/share/doc/coq-doc-pdf/Tutorial.v.pdf*
