Fandom

Formal Methods Wiki

HOL

120pages on
this wiki
Add New Page
Talk0 Share
VL2

Virtual Library
Computing
Software engineering
Formal methods

The HOL theorem prover

Please edit this page or contact Jonathan Bowen if you know of relevant online information not included here.


This document contains some pointers to information on the HOL mechanical theorem proving system, based on Higher Order Logic, available around the world on the World Wide Web (WWW).


The following on-line information is available:

Hol-book-0521441897

Introduction to HOL

See also PVS, another newer theorem proving tool based on higher order logic.


Last updated by Jonathan Bowen, 24 March 2009.
Further information for possible inclusion is welcome.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.