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

Rameses

... also spelled Rameses, is the name of several Egyptian pharaohs: Ramses I[?] Ramses II ("The Great") Ramses III Ramses IV[?] The name means "Child of the Sun". ...