Tobias Nipkow

A Proof Assistant for Higher-Order Logic

Tobias Nipkow & Lawrence C. Paulson & Markus Wenze & Isabelle Hol

Concrete Semantics: With Isabelle/HOL

Tobias Nipkow & Gerwin Klein