Filewatcher File Search File Search
Catalog
Content Search
» » » » »

hol88

Higher Order Logic, system image

Variants:
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.
Homepage:-
Package version:2.02.19940316-15
Architecture:powerpc
Distribution:Debian
Filename:hol88_2.02.19940316-15_powerpc.deb

/usr/share/doc/hol88/README.Debian

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
more»

/usr/share/man/man1/hol88.1.gz

HOL88(1)                                                    HOL88(1)



NAME
       hol88 - Higher Order Logic

SYNOPSIS
       hol88

DESCRIPTION
       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
more»

/usr/share/doc/hol88/changelog.Debian.gz

hol88 (2.02.19940316-15) unstable; urgency=low

  * lintian fixes
  * 3.0 quilt source format

 -- Camm Maguire <camm@debian.org>  Wed, 11 Apr 2012 18:43:47 +0000

hol88 (2.02.19940316-14) unstable; urgency=low

  * rebuild against latest gcl

 -- Camm Maguire <camm@debian.org>  Tue, 17 Jan 2012 19:45:44 +0000

hol88 (2.02.19940316-13) unstable; urgency=low

  * build depend on latest gcl

 -- Cam
more»

/usr/share/doc/hol88/copyright

This package was debianized by Camm Maguire <camm@enhanced.com> on
Wed, 18 Oct 2006 13:36:15 -0400.

more»

Browse inside hol88_2.02.19940316-15_powerpc.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download hol88_2.02.19940316-15_powerpc.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com