Jump to content

Isabelle (proof assistant)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 18.111.0.136 (talk) at 01:46, 27 December 2002. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

An interactive theorem proving framework, a successor of HOL theorem prover.

http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html

See also: theorem prover.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Isabelle_(proof_assistant)&oldid=573267"