Isabelle theorem prover

The Isabelle theorem prover an interactive theorem proving framework, a successor of HOL theorem prover.

External link

• Isabelle website (http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html)

See also: theorem prover.