2
2
Title: The Coq Proof Assistant -- A Tutorial
3
3
Author: Gérard Huet, Gilles Kahn and Christine Paulin-Mohring
4
4
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.
8
8
Index: /usr/share/doc/coq-doc-html/Tutorial.v.html