Stefan Berghofer

Stefan Berghofer has written at least 1 book. Their most popular book is Theorem Proving in Higher Order Logics with 0 saves with an average rating of -⭐.

Details	Rating	Readers Count	Controls
Theorem Proving in Higher Order Logics Stefan Berghofer Tobias Nipkow Christian Urban Makarius Wenzel	0	0 reads

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

Stefan Berghofer

Footer links