This book constitutes the proceedings of the 5th International Conference on Interactive Theorem ...

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...