Tobias Nipkow

Tobias Nipkow has written at least 5 books. Their most popular book is Term Rewriting and All That with 2 saves with an average rating of -⭐.

Term Rewriting and All That

Types for Proofs and Programs

Automated Reasoning

Isabelle/HOL

Theorem Proving in Higher Order Logics

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies