| Paketname | coqide |
| Beschreibung | proof assistant for higher-order logic (gtk interface) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 8.2.pl2+dfsg-1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 18592 Byte |
| Hängt ab von | coq (= 8.2.pl2+dfsg-1), liblablgtk2-ocaml-t1zm6, ocaml-base-nox-3.11.2, libatk1.0-0 (>= 1.29.3), lib |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 6026786 Byte |
| Prüfsumme MD5 | b7ab60e1b6c3a9b7c465b65fc97061d7 |
| Prüfsumme SHA1 | 06f52252e07aa91bcfc6ab1c97fbbddc509c2c8d |
| Prüfsumme SHA256 | 626beef87863b544aa5a8ee887619e894a6d22f8d6012c5a58d47a36da5b7974 |
| Link zum Herunterladen | coqide_8.2.pl2+dfsg-1_i386.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 provides CoqIde, a graphical user interface for
developing proofs.
|