Main Page

From Isabelle Community Wiki
Jump to: navigation, search

This is the community wiki for Isabelle.

Isabelle is developed at University of Cambridge (Larry Paulson), TU München (Tobias Nipkow), and Université Paris-Sud (Makarius Wenzel). Isabelle's maintainer is Makarius Wenzel.

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.

You need an account to add or change something in this wiki. Please contact Johannes Hölzl to register an account.


Contents

Getting started

For getting started with Isabelle quickly:


Mailing Lists

Finding Answers for your Questions on StackOverflow

Several Isabelle community members are active on StackOverflow, a web platform where you can ask questions about concrete problems.

Tips and Tricks


Isabelle Extensions


Isabelle Development HOWTOs


Isabelle Administration HOWTOs


Collections of miscellaneous notes



Technical information for using this wiki is found in the user manual.