Paket: hol88 (2.02.19940316-13.1)

[ Quellcode: hol88  ]

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: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb

• dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC Support-Bibliothek

• dep: libgmp3c2

  Mehrfachgenaue, arithmetische Bibliothek

• dep: libncurses5 (>= 5.7+20100313)

  gemeinsam benutzte Bibliotheken für Terminalsteuerung

• dep: libreadline6 (>= 6.0)

  GNU readline- und History-Bibliotheken, Laufzeitbibliotheken

• dep: libx11-6

  Clientseitige X11-Bibliothek

hol88 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	14.057,6 kB	74.704,0 kB	[Liste der Dateien]
armel	12.673,8 kB	54.588,0 kB	[Liste der Dateien]
i386	11.742,7 kB	48.420,0 kB	[Liste der Dateien]
ia64	11.637,0 kB	270.024,0 kB	[Liste der Dateien]
kfreebsd-amd64	13.859,4 kB	96.722,0 kB	[Liste der Dateien]
kfreebsd-i386	11.760,5 kB	71.538,0 kB	[Liste der Dateien]
mips	13.995,3 kB	56.948,0 kB	[Liste der Dateien]
mipsel	13.257,3 kB	56.976,0 kB	[Liste der Dateien]
powerpc	13.834,0 kB	61.196,0 kB	[Liste der Dateien]
s390	13.964,5 kB	52.112,0 kB	[Liste der Dateien]
sparc	13.202,6 kB	59.648,0 kB	[Liste der Dateien]