Download Source Package coq-doc:
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.
This package contains its documentation and tutorials in pdf format.
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,652.8 kB | 1952 kB | [list of files] |