Downloadliste

Projektbeschreibung

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2004-09-17 08:32
2

Overflow Fehler wurden behoben.
Tags: Minor bugfixes
Overflow bugs were fixed.

2003-03-11 23:24
1

Der Beweis Tools, Bibliotheken und Sätze wurden aktualisiert. Es wurde Unterstützung für große Formalisierungen hinzu, und Syntax-Unterstützung wurde verbessert. Die Namenskonvention hat sich verändert, und verschiedene Inkompatibilitäten eingeführt.
Tags: Initial freshmeat announcement
The proof tools, libraries, and theorems were updated. Support was added for large formalizations, and syntax support was improved. The naming convention has changed, and various incompatibilities were introduced.

Project Resources