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

Links für coq-doc

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

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 is a dummy package which will install the documentation in html and pdf formats.

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

Andere Pakete mit Bezug zu coq-doc

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: coq-doc-html (>= 8.16.1-1)

documentation for Coq in html format
dep: coq-doc-pdf (>= 8.16.1-1)

documentation for Coq in pdf format

coq-doc herunterladen

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