all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: hol88  ]

Package: hol88-contrib-help (2.02.19940316-15)

Links for hol88-contrib-help

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

Logik höherer Ordnung - Benutzererstellte Online-Hilfsdateien

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 Metasprache 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.

Download hol88-contrib-help

Download for all available architectures
Architecture Package Size Installed Size Files
all 26.5 kB150.0 kB [list of files]