File: coq-doc-html.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 (9 lines) | stat: -rw-r--r-- 523 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
 
Document: coq-faq-html
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: HTML
Index: /usr/share/doc/coq-doc-html/FAQ.v.html
Files: /usr/share/doc/coq-doc-html/FAQ.v.html