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

Länkar för coq-doc-html

Debianresurser:

Hämta källkodspaketet coq-doc:

Ansvariga:

Debian OCaml Maintainers (QA-sida, E-postarkiv)
Samuel Mimram (QA-sida)
Stéphane Glondu (QA-sida)
Hendrik Tews (QA-sida)
Julien Puydt (QA-sida)

Externa resurser:

Hemsida [coq.inria.fr]

Liknande paket:

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.

Märken: Software Development: Dokumentation, Made Of: HTML, Hypertext Markup Language, Role: Dokumentation

Andra paket besläktade med coq-doc-html

beror

rekommenderar

föreslår

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)

Hämta coq-doc-html

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
all	1.546,0 kbyte	20.507,0 kbyte	[filförteckning]