Author

Jasmin Christian Blanchette

2 books found

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Jasmin Christian Blanchette, Stephan Merz · First published 2016

Cover of Tests and Proofs

Tests and Proofs

Jasmin Christian Blanchette, Nikolai Kosmatov · First published 2015