[ Paquet source : coq-doc ]
Paquet : coq-doc-html (8.18.0-1) [non-free]
Liens pour coq-doc-html
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source coq-doc :
Responsables :
- Debian OCaml Maintainers (Page QA, Archive du courrier électronique)
- Stéphane Glondu (Page QA)
- Julien Puydt (Page QA)
Ressources externes :
- Page d'accueil [coq.inria.fr]
Paquets similaires :
documentation for Coq in html format
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 Camlp5.
This package contains its documentation and tutorials in html format.
Autres paquets associés à coq-doc-html
|
|
|
|
-
- dep: libjs-sphinxdoc (>= 7.2.2)
- prise en charge de JavaScript pour la documentation de Sphinx
-
- dep: sphinx-rtd-theme-common (>= 2.0.0+dfsg)
- sphinx theme from readthedocs.org (common files)
Télécharger coq-doc-html
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 1 612,9 ko | 21 284,0 ko | [liste des fichiers] |