Main Page

See live article

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