toutes les options
bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : coq-doc  ]

Paquet : coq-doc (8.16.1-1) [non-free]

Liens pour coq-doc

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

documentation for Coq

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 is a dummy package which will install the documentation in html and pdf formats.

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

Autres paquets associés à coq-doc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger coq-doc

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