Higher Order Logic, system image
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
hol88 for Debian
This package is built from the last lisp sources to the HOL theorem
proving system. More recent versions are written purely in ML. This
package is being provided here as a facility to combine ML and lisp
into one image, as well as to provide an instructive example in one of
the major milestones in the history of automated theorem proving.
-- Camm Maguire <cam
hol88 - Higher Order Logic
This manual page documents briefly the hol88 command. This
manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
Instead, it has online documentatio
hol88 (2.02.19940316-13.1) unstable; urgency=high
* Non-maintainer upload.
* Revert build-depend bump, as that version of gcl will
not make it into Squeeze (Closes: #606293)
-- Jonathan Wiltshire <email@example.com> Tue, 14 Dec 2010 20:47:42 +0000
hol88 (2.02.19940316-13) unstable; urgency=low
* build depend on latest gcl
-- Camm Maguire <firstname.lastname@example.org> Fri, 05 Nov 2010 16:09:55
This package was debianized by Camm Maguire <email@example.com> on
Wed, 18 Oct 2006 13:36:15 -0400.
Browse inside hol88_2.02.19940316-13.1_amd64.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2016 FileWatcher.com