Paket: hol88 (2.02.19940316-35.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.

Markierungen: GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu hol88

• dep: libc6 (>= 2.29)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

• dep: libreadline8 (>= 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
i386	5.850,6 kB	44.608,0 kB	[Liste der Dateien]