| Paketname | hol88 |
| Beschreibung | Higher Order Logic, system image |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 2.02.19940316-9 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 41096 Byte |
| Hängt ab von | libc6 (>= 2.7), libgmp3c2, libice6 (>= 1:1.0.0), libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 9247626 Byte |
| Prüfsumme MD5 | f5b09eb5bae88cbbd540a051d91d290b |
| Prüfsumme SHA1 | a7a80b8d47b74163ad91a54659c8bd11b573fc1a |
| Prüfsumme SHA256 | 786ab1bbf16f86ddf86d297847ef31119943d7c6a9d3ebd7ede98a7c6629623c |
| Link zum Herunterladen | hol88_2.02.19940316-9_i386.deb |
| Ausführliche Beschreibung | The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
|