| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 8.2.pl1+dfsg-6 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 59480 Byte |
| Hängt ab von | coq-8.2.pl1+3.11.2 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 18108438 Byte |
| Prüfsumme MD5 | 4ce1c7df48d2d7f25d2d1cd698023e6b |
| Prüfsumme SHA1 | eebad0194d02fbd87c9f8d6011737151e620f112 |
| Prüfsumme SHA256 | f671c8c02fd5f7a48575d5d9552e4f956620bfb235d90e4b3bed86f6b53e543f |
| Link zum Herunterladen | coq-theories_8.2.pl1+dfsg-6_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.
|