| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 8.2.pl2+dfsg-1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 59456 Byte |
| Hängt ab von | coq-8.2.pl2+3.11.2 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 18387420 Byte |
| Prüfsumme MD5 | 6d5a0460aa6cea104e3e86c5eae7e5a3 |
| Prüfsumme SHA1 | fb74fe8bd2739ead9189b9b7d77ac20de86ddd75 |
| Prüfsumme SHA256 | 54c3cd8f6eb66c98a6e157b33b957182a61767a19b1d6b37d4945029a26e8a40 |
| Link zum Herunterladen | coq-theories_8.2.pl2+dfsg-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 provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
|