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

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-- 474 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
 
Document: coq-faq-pdf
Title: Coq Version 8.0 for the Clueless (FAQ)
Author: Hugo Herbelin, Florent Kirchner, Benjamin Monate, Julien Narboux
Abstract: This note intends to provide an easy way to get acquainted with the Coq theorem prover. It tries to formulate appropriate answers to some of the questions any newcomers will face, and to give pointers to other references when possible.
Section: Science/Mathematics

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