J

Jasmin Christian Blanchette

2 books found

Books by Jasmin Christian Blanchette
Tests and ProofsJasmin Christian Blanchette
⏱ 3h 29m

Tests and Proofs

Jasmin Christian Blanchette

2015209 pp.
Interactive Theorem ProvingJasmin Christian Blanchette
⏱ 8h 39m

Interactive Theorem Proving

Jasmin Christian Blanchette

2016519 pp.