<<Up
Contents
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
.
wikipedia.org
dumped 2003-03-17 with
terodump