| Paketname | coq-doc-pdf |
| Beschreibung | documentation for Coq in pdf format |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (multiverse) |
| Version | 8.2pl1-1 |
| Sektion | multiverse/doc |
| Priorität | optional |
| Installierte Größe | 2088 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq-doc |
| Paketgröße | 2056118 Byte |
| Prüfsumme MD5 | dd246eff8506d9fa31a43f3e5853d6a9 |
| Prüfsumme SHA1 | 2fed4b801102b1e84b20240f2cf5f13cc3315e60 |
| Prüfsumme SHA256 | 5a8d2f77ecacdd7590781a467f8795ce88172d8bb3b8269fb5e6b7a56d6ea2ff |
| 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.
|