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

Sanskrit language

... the Classical period began. The intense study of the structure of Sanskrit at this time led to the beginnings of linguistics. The oldest surviving Sanskrit grammar is ...