Main Page

See live article

Alphabetical index
The
Isabelle theorem prover
an interactive theorem proving framework, a successor of the
HOL theorem prover
.
External link
Isabelle website
See also:
theorem prover
.