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
m68k (inoffizielle Portierung)	2.02.19940316dfsg-5+b1	3.739,7 kB	26.713,0 kB	[Liste der Dateien]