Introduction to the Isabelle Proof Assistant

isabelle logo

Clemens Ballarin


Time and Location: 20 July 2016, Bielefeld, Germany.  Part of the FOMUS Workshop on Foundation of Mathematics.

This tutorial is a short introduction to the proof assistant Isabelle and its use.

Further material available at the Isabelle documentation pages.

Last modified: Wed Jul 20 15:18:24 CEST 2016