Home of Gerwin Klein
Tobias Nipkow and Gerwin Klein
The book contains 115 exercises that provide hands-on experience with Isabelle. Templates are available here .
The book has been classroom-tested extensively. Slides are available here .
Home of Gerwin Klein