Pakiet: coq-doc-html (8.20.0-2) [non-free]

Odnośniki dla coq-doc-html

Zasoby systemu Debian:

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

Opiekunowie:

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-jquery (>= 3.6.0)

JavaScript library for dynamic web applications
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)

Pobieranie coq-doc-html

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	1 672,2 KiB	22 281,0 KiB	[lista plików]