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

Northwest Harbor, New York

... for a household in the town is $61,808, and the median income for a family is $78,873. Males have a median income of $51,469 versus $41,161 for females. The per capita ...