1
Document: coq-manual-pdf
2
Title: The Coq Proof Assistant Reference Manual
3
Author: The Coq Development Team
4
Abstract: Reference Manual of version 8.0 of the Coq proof assistant which is a system designed to develop mathematical proofs, and especially to write formal specifications, programs and to verify that programs are correct with respect to their specification.
5
Section: Science/Mathematics
8
Files: /usr/share/doc/coq-doc-pdf/Reference-Manual.pdf*