Books by Herman Geuvers

Cover of Type Theory and Formal Proof

Type Theory and Formal Proof

by Rob Nederpelt, Herman Geuvers

2014
Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

2017
Cover of Types for Proofs and Programs

Types for Proofs and Programs

by Herman Geuvers, Freek Wiedijk

2003
Cover of Interactive Theorem Proving

Interactive Theorem Proving

by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz

2011

Can't find the book you're looking for? Let us know — it helps us improve.