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

Sakhalin

... The Pliocene deposits contain a mollusc fauna more arctic than that which exists at the present time, indicatin~ probably that the connexion between the Pacific and ...