Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz
₹4,258
Author
Books by Jasmin Christian Blanchette
Showing 1–2 of 2 books
Tests and Proofs
Jasmin Christian Blanchette, Nikolai Kosmatov
₹3,778
Author
Showing 1–2 of 2 books
Jasmin Christian Blanchette, Stephan Merz
₹4,258
Jasmin Christian Blanchette, Nikolai Kosmatov
₹3,778