[ Source: hol88 ]
Package: hol88-library (2.02.19940316-15)
Links for hol88-library
Debian Resources:
Download Source Package hol88:
- [hol88_2.02.19940316-15.dsc]
- [hol88_2.02.19940316.orig.tar.gz]
- [hol88_2.02.19940316-15.debian.tar.gz]
Maintainer:
Similar packages:
Logik höherer Ordnung - binäre Bibliotheksmodule
Das HOL-System ist eine Umgebung für interaktives Beweisen von Theoremen in einer Logik höherer Ordnung. Seine herausragendste Eigenschaft ist seine Programmierbarkeit mit der Meta-Sprache ML. Das System hat eine Vielzahl von Verwendungen von der Formalisierung reiner Mathematik bis zur Überprüfung industrieller Hardware. Weltweit arbeiten akademische und industrielle Einrichtungen mit HOL.
Download hol88-library
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| s390 | 1,797.7 kB | 7,008.0 kB | [list of files] |