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

Fact-index.com financially supports the Wikimedia Foundation. Displaying this page does not burden Wikipedia hardware resources.
This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.