Pakket: coq-doc (8.19.1-2) [non-free]

Verwijzigingen voor coq-doc

Debian bronnen:

Het bronpakket coq-doc downloaden:

Beheerders:

Externe bronnen:

Homepage [coq.inria.fr]

Vergelijkbare pakketten:

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.

Tags: Softwareontwikkeling: Documentatie, Made Of: HTML, Hypertext Markup Language, Role: Documentatie, Metapackage

Andere aan coq-doc gerelateerde pakketten

depends

recommends

suggests

enhances

dep: coq-doc-html (>= 8.19.1-2)

documentation for Coq in html format
dep: coq-doc-pdf (>= 8.19.1-2)

documentation for Coq in pdf format
dep: node-mathjax-full

JavaScript library to display math in browsers

coq-doc downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
all	5,2 kB	21,0 kB	[overzicht]