Clicky

Interactive Theorem Proving by Jasmin Christian Blanchette and similar books you'll love - Bookscovery

Home > Authors > Jasmin Christian Blanchette > Interactive Theorem Proving

Buy at: Bookshop.org Amazon

Interactive Theorem Proving

Jasmin Christian Blanchette, Stephan Merz

Recent activity

Rate this book to see your activity here.

2 Books Similar to Interactive Theorem Proving by Jasmin Christian Blanchette

Bookscovery readers who liked Interactive Theorem Proving also like Tests and Proofs, and Temporal logic and state systems. How many of these have you read?

Tests and Proofs by Jasmin Christian Blanchette

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Temporal logic and state systems by Fred Kröger

Cover of Temporal logic and state systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Interactive Theorem Proving

Please sign in to leave a comment