Paket: hol88-doc (2.02.19940316-35.1)

[ Quellcode: hol88  ]

Dokumentation für hol88

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: Hergestellt aus: PostScript, TeX, LaTeX und DVI, Rolle: Dokumentation

hol88-doc herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	1.041,1 kB	1.063,0 kB	[Liste der Dateien]