Paket: hol88 (2.02.19940316dfsg-5 und andere) [debports]

Links für hol88

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

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

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.37)

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

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
sh4 (inoffizielle Portierung)	2.02.19940316dfsg-5+b1	5.640,9 kB	38.984,0 kB	[Liste der Dateien]