LRI
Équipe VALS
Bât 650 Ada Lovelace, Université Paris Sud
Rue Noetzlin, 91190 Gif-sur-Yvette, France
The Isabelle page of the VALS team

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.