[ Quellcode: hol88 ]
Paket: hol88 (2.02.19940316dfsg-5 und andere)
Links für hol88
Debian-Ressourcen:
Quellcode-Paket hol88 herunterladen:
- [hol88_2.02.19940316dfsg-5.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-5.debian.tar.xz]
Betreuer:
Ähnliche Pakete:
Logik höherer Ordnung - Systemabbild
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.
Andere Pakete mit Bezug zu hol88
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- BSD-Bibliothek editline
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Mehrfachgenaue, arithmetische Bibliothek
-
- dep: libtirpc3t64 (>= 1.0.2)
- Transportunabhängige RPC-Bibliothek
-
- dep: libx11-6
- Clientseitige X11-Bibliothek
hol88 herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| ppc64el | 2.02.19940316dfsg-5+b1 | 5.920,0 kB | 125.791,0 kB | [Liste der Dateien] |