Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

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:

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.

Advertisement