Project partners

Isabelle is a joint project between Larry Paulson (University of Cambridge, UK) and Tobias Nipkow (Technische Universität München, Germany).

Both sites employ numerous activities around Isabelle; for details, have a look at the local websites in Cambridge and Munich; there is also an (incomplete) list of past and present projects undertaken using Isabelle.

Isabelle in your neighborhood

Find out on the world map!

Mailing lists

You may use the user mailing list {isabelle-users} AT [cl.cam.ac.uk] and its archive to discuss problems and results. Why not subscribe?

Advanced users may also profit from the developer mailing list {isabelle-dev} AT [in.tum.de]. Subscribe.

The Archive of Formal Proofs (AFP)

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.