| Paketname | coq-doc-pdf |
| Beschreibung | documentation for Coq in pdf format |
| Archiv/Repository | Offizielles Debian Archiv squeeze (non-free) |
| Version | 8.2pl1-1 |
| Sektion | non-free/doc |
| Priorität | optional |
| Installierte Größe | 2408 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq-doc |
| Paketgröße | 2386650 Byte |
| Prüfsumme MD5 | d1fa53219be5d3bc0828aa661074f58c |
| Prüfsumme SHA1 | e4d741e407643fff20e0a0f1e71a22cada803790 |
| Prüfsumme SHA256 | 5f0fa52bf4cba2ad42568278ab961c0d10d7ba162f265b1bf817823cb116d2e6 |
| Link zum Herunterladen | coq-doc-pdf_8.2pl1-1_all.deb |
| Ausführliche Beschreibung | 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 pdf format.
|