About:
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.

Author:
Michael Norrish <michaeln __at__ sourceforge __dot__ net> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://hol.sourceforge.net/
Tar/GZ:
http://sourceforge.net/project/showfiles.php?group_id=31790
Changelog:
http://sourceforge.net/[..]tes.php?group_id=31790&release_id=475306
CVS tree (cvsweb):
http://hol.cvs.sourceforge.net/hol/
Bug tracker:
http://sourceforge.net/[..]/?atid=403397&group_id=31790&func=browse
Mailing list archive:
http://sourceforge.net/mail/?group_id=31790

Trove categories: [change]

[Development Status]		6 - Mature
[Environment]		Console (Text Based)
[Intended Audience]		Developers, Quality Engineers
[License]		OSI Approved :: BSD License (revised)
[Operating System]		Microsoft :: Windows :: Windows NT/2000/XP, POSIX
[Programming Language]		ML
[Topic]		Scientific/Engineering :: Mathematics, Software Development, Software Development :: Quality Assurance

Dependencies: [change]
Moscow ML 2.00 (required)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	4	14-Jan-2007	BSD License (revised)