Browse
FAQ

Author

Herman Geuvers

4 books found

Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke · First published 2017

Cover of Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers · First published 2014

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz · First published 2011

Cover of Types for Proofs and Programs

Types for Proofs and Programs

Herman Geuvers, Freek Wiedijk · First published 2003