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

[ Quellcode:  ]

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	Version	Paketgröße	Größe (installiert)	Dateien
sparc64 (inoffizielle Portierung)	2.02.19940316dfsg-5+b1	3.955,7 kB	35.183,0 kB	[Liste der Dateien]