Isabelle at Cambridge [Cambridge logo]

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.

People using Isabelle at Cambridge

Former team members

Isabelle-Related Research Grants at Cambridgesledgehammer icon

Isabelle archives (mailing list, papers, past releases) are available!

Thanks to the EPSRC and ESPRIT for financial support.EPSRC logoESPRIT logo

Last modified Tuesday, 22 September, 2015


Lawrence C. Paulson. Email: LP15@cam.ac.uk