Search the Kids Internet
Encyclopedia > Isabelle theorem prover
Article Content
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)
See also: theorem prover.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|