Rob Nederpelt

Rob Nederpelt 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⭐.

Details	Rating	Readers Count	Controls
Type Theory and Formal Proof: An Introduction Rob Nederpelt Herman Geuvers	3.5	1 read

Community

Follow Along

We're an Open Book

Footer links