Paket: hol88-library (2.02.19940316dfsg-8)

Links für hol88-library

Debian-Ressourcen:

Quellcode-Paket hol88 herunterladen:

Betreuer:

Camm Maguire (QS-Seite)

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.

hol88-library herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	5.294,1 kB	50.466,0 kB	[Liste der Dateien]
amd64	5.023,9 kB	45.108,0 kB	[Liste der Dateien]
arm64	5.014,2 kB	45.608,0 kB	[Liste der Dateien]
armel	4.834,6 kB	32.040,0 kB	[Liste der Dateien]
armhf	5.019,9 kB	32.055,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	6.183,6 kB	41.100,0 kB	[Liste der Dateien]
i386	4.728,3 kB	31.552,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	6.370,0 kB	63.346,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	4.927,2 kB	37.294,0 kB	[Liste der Dateien]
mips64el	5.425,5 kB	50.008,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	5.228,7 kB	50.445,0 kB	[Liste der Dateien]
ppc64el	5.397,1 kB	52.789,0 kB	[Liste der Dateien]
riscv64	10.985,9 kB	151.816,0 kB	[Liste der Dateien]
s390x	5.079,0 kB	44.818,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	4.947,4 kB	33.059,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	5.016,3 kB	47.357,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	4.923,2 kB	35.674,0 kB	[Liste der Dateien]