Markus Wenzel

Markus Wenzel has written at least 1 book. Their most popular book is Isabelle/HOL with 0 saves with an average rating of -⭐.

ByTobias Nipkow,Lawrence C. Paulson,+1 more

2003 • 226 pages

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies