File: coq-doc-pdf.doc-base.tutorial

package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2
file content (8 lines) | stat: -rw-r--r-- 461 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
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*