| Paketname | hol88-doc |
| Beschreibung | Documentation for hol88 |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 2.02.19940316-13.1 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 1144 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | hol88 |
| Paketgröße | 1056490 Byte |
| Prüfsumme MD5 | 9b11832d4404bc163661171ae9f0bfb8 |
| Prüfsumme SHA1 | b501350e6c3f0ff5732ae41edd1219d468821930 |
| Prüfsumme SHA256 | 6cb2da033b628a7d99b402f3af341b7f81ab8c1423bb9190c2361f9deb5da665 |
| Link zum Herunterladen | hol88-doc_2.02.19940316-13.1_all.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.
|