[ Quellcode: coq-doc ]
Paket: coq-doc (8.20.0-1) [non-free]
Links für coq-doc
Debian-Ressourcen:
Quellcode-Paket coq-doc herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Stéphane Glondu (QS-Seite)
- Julien Puydt (QS-Seite)
Externe Ressourcen:
- Homepage [coq.inria.fr]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu coq-doc
|
|
|
|
-
- dep: coq-doc-html (>= 8.20.0-1)
- documentation for Coq in html format
-
- dep: coq-doc-pdf (>= 8.20.0-1)
- documentation for Coq in pdf format
-
- dep: node-mathjax-full
- JavaScript library to display math in browsers
coq-doc herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 5,2 kB | 21,0 kB | [Liste der Dateien] |