|Isabelle at Cambridge|
Isabelle is a generic theorem proving environment developed at Cambridge (Larry Paulson) and TU Munich (Tobias Nipkow). This is the local page of the Cambridge Isabelle group, which is part of the Automated Reasoning Group.
Isabelle archives (mailing list, papers, past releases) are available!
Last modified Wednesday, 9 April, 2014