[ Quellcode: hol88 ]
Paket: hol88-contrib-source (2.02.19940316-35)
Links für hol88-contrib-source
Debian-Ressourcen:
Quellcode-Paket hol88 herunterladen:
- [hol88_2.02.19940316-35.dsc]
- [hol88_2.02.19940316.orig.tar.gz]
- [hol88_2.02.19940316-35.debian.tar.xz]
Betreuer:
Ähnliche Pakete:
Logik höherer Ordnung - von Anwendern beigetragener Quelltext
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 Metasprache 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.
hol88-contrib-source herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 712,8 kB | 5.520,0 kB | [Liste der Dateien] |