| Paketname | hol88-library |
| Beschreibung | Higher Order Logic, binary library modules |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2.02.19940316-13.1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 15796 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | hol88 |
| Paketgröße | 4691572 Byte |
| Prüfsumme MD5 | ed6e918e427707adb21a56675d3b1a6a |
| Prüfsumme SHA1 | 0a71efd3962f653c646301c0a811d1122cb1eae0 |
| Prüfsumme SHA256 | 0cd89e73a6be1854340b88c39c84a144de11d20cf9da6e373bc00b4ab3792ddd |
| Link zum Herunterladen | hol88-library_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.
|