| Paketname | libwhy-coq |
| Beschreibung | Why library for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 2.23+dfsg-2 |
| Sektion | universe/libdevel |
| Priorität | optional |
| Installierte Größe | 1012 Byte |
| Hängt ab von | coq-8.2.pl1+3.11.2 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | why |
| Paketgröße | 410392 Byte |
| Prüfsumme MD5 | 568046eaf2e7d601499cfe8a290984b3 |
| Prüfsumme SHA1 | 820892871aef1329f132c392c89feaf6f011e207 |
| Prüfsumme SHA256 | f70c06645bd7540ca37398cc1cbfa8bf5fc6c0c2d5192c07c9d8b1bc657c0400 |
| Link zum Herunterladen | libwhy-coq_2.23+dfsg-2_all.deb |
| Ausführliche Beschreibung | This package contains all useful logical definitions, lemmas with their
proofs and axioms used by Why. Users may need this package when proving
some proof obligations in Coq.
|