Herman Geuvers

Books
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2017
Type Theory and Formal Proof Type Theory and Formal Proof
Type Theory and Formal Proof
2014
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011