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

Odnośniki dla coq-doc-html

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-doc:

Opiekunowie:

Debian OCaml Maintainers (Strona QA, Archiwum e-mail)
Samuel Mimram (Strona QA)
Stéphane Glondu (Strona QA)
Hendrik Tews (Strona QA)
Julien Puydt (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

Podobne pakiety:

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.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Stworzone z: HTML - Hypertext Markup Language, Rola: Dokumentacja

Inne pakiety związane z coq-doc-html

wymaga

poleca

sugeruje

enhances

dep: libjs-sphinxdoc (>= 5.2)

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

sphinx theme from readthedocs.org (common files)

Pobieranie coq-doc-html

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	1 546,0 KiB	20 507,0 KiB	[lista plików]