Herman Geuvers

Herman Geuvers's most popular book is Type Theory and Formal Proof: An Introduction with 4 saves and an average rating of 3.5⭐.