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 -⭐.

Details	Rating	Readers Count	Controls
Isabelle/HOL Tobias Nipkow Lawrence C. Paulson Markus Wenzel	0	0 reads

Community

Follow Along

We're an Open Book

Footer links