| Paketname | hol88 |
| Beschreibung | Higher Order Logic, system image |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2.02.19940316-13.1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 48420 Byte |
| Hängt ab von | libc6 (>= 2.3), libgmp3c2, libncurses5 (>= 5.7+20100313), libreadline6 (>= 6.0), libx11-6 |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | |
| Paketgröße | 12024540 Byte |
| Prüfsumme MD5 | ed93eeb927d6dd2499c0c912902464ba |
| Prüfsumme SHA1 | 5d4aac82987bb0830c88e4fc391c28a900943dba |
| Prüfsumme SHA256 | 016d123bc25b4c12c6ea3ea619467217ea2ec7d44dbed29b1c53c206b5ce768d |
| Link zum Herunterladen | hol88_2.02.19940316-13.1_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.
|