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)

Featured Article

Quadratic formula

... expression to the left of "=", that will make it a perfect square trinomial of the form x2 + 2xy + y2. Since "2xy" in this case is (b/a)x, we must have y = b/(2a), so we ...