|
|
| Distribution |
Debian stable |
| Abteilung |
math |
| Quelle |
coq |
| Version |
8.1.pl3+dfsg-1+b2 |
| Maintainer |
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 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 Camlp4.
For more information, see .
.
This package provides CoqIde, a graphical user interface for
developing proofs.
|
| Abhängig von | coq (>= 8.0), libatk1.0-0 (>= 1.20.0), libc6 (>= 2.7-1), libcairo2 (>= 1.2.4), libglib2.0-0 (>= 2.12.0), libgtk2.0-0 (>= 2.12.0), libncurses5 (>= 5.6+20071006-3), libpango1.0-0 (>= 1.20.2), tex-common (>= 1.10) |
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
