This site groups various resources about the Isabelle proof assistant.

The Isabelle club is an open meeting about issues, pearls and general information related to Isabelle.