Home > Authors > Rob Nederpelt > Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers

Recent activity

Rate this book to see your activity here.

2 Books Similar to Type Theory and Formal Proof by Rob Nederpelt

Bookscovery readers who liked Type Theory and Formal Proof also like Intelligent Computer Mathematics, and Interactive Theorem Proving. How many of these have you read?

Interactive Theorem Proving by Marko Van Eekelen

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Type Theory and Formal Proof

Please sign in to leave a comment