toutes les options
jessie  ] [  stretch  ] [  sid  ]
[ Paquet source : coq-doc  ]

Paquet : coq-doc-html (8.4pl4-1) [non-free]

Liens pour coq-doc-html

Screenshot

Ressources Debian :

Télécharger le paquet source coq-doc :

Responsables :

Ressources externes :

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.

Étiquettes: Développement de logiciel: Documentation, Fait de: HTML, Hypertext Markup Language, Rôle: Documentation

Télécharger coq-doc-html

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 462,7 ko4 878,0 ko [liste des fichiers]