Herman Geuvers
Herman Geuvers has written at least 1 book. Their most popular book is Type Theory and Formal Proof: An Introduction with 4 saves with an average rating of 3.5⭐.
Herman Geuvers has written at least 1 book. Their most popular book is Type Theory and Formal Proof: An Introduction with 4 saves with an average rating of 3.5⭐.