Formal Methods Wiki

Virtual Library
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:

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.