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

Links für coq-doc-html

Debian-Ressourcen:

Quellcode-Paket coq-doc herunterladen:

Betreuer:

Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
Samuel Mimram (QS-Seite)
Stéphane Glondu (QS-Seite)
Hendrik Tews (QS-Seite)
Julien Puydt (QS-Seite)

Externe Ressourcen:

Homepage [coq.inria.fr]

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.

Markierungen: Software-Entwicklung: Dokumentation, Hergestellt aus: HTML, Hypertext Markup Language (Hypertext-Auszeichnungssprache), Rolle: Dokumentation

Andere Pakete mit Bezug zu coq-doc-html

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libjs-sphinxdoc (>= 5.2)

JavaScript-Unterstützung für Sphinx-Dokumentation
dep: sphinx-rtd-theme-common (>= 1.1.1+dfsg)

sphinx theme from readthedocs.org (common files)

coq-doc-html herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	1.546,0 kB	20.507,0 kB	[Liste der Dateien]