Document: coq-faq-html
Title: Coq Version 8.4 for the Clueless (FAQ)
Author: Pierre Castéran, 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
