Markus Wenzel

2 books • 2 series

Essentials

Lecture Notes in Computer Science

Cover of Isabelle

Book #828: Isabelle

Cover of Isabelle/Hol

Book #2283: Isabelle/Hol