2
2
Title: Coq Version 8.0 for the Clueless (FAQ)
3
3
Author: Hugo Herbelin, Florent Kirchner, Benjamin Monate, Julien Narboux
4
4
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.
8
8
Index: /usr/share/doc/coq-doc-html/FAQ.v.html