Pakket: coq-doc-html (8.20.0-1) [non-free]

Verwijzigingen voor coq-doc-html

Debian bronnen:

Het bronpakket coq-doc downloaden:

Beheerders:

Externe bronnen:

Homepage [coq.inria.fr]

Vergelijkbare pakketten:

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.

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

Andere aan coq-doc-html gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libjs-sphinxdoc (>= 8.1)

JavaScript support for Sphinx documentation
dep: sphinx-rtd-theme-common (>= 3.0.2+dfsg)

sphinx theme from readthedocs.org (common files)

coq-doc-html downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
all	1.669,7 kB	22.259,0 kB	[overzicht]