What do you think?
Rate this book
The Hitchhiker’s Guide to Logical Verification
This guide is a companion to the MSc-level course Logical Verification (LoVe) taught at the Vrije Universiteit Amsterdam. Our primary aim is to teach interactive theorem proving.
203 pages, ebook
Published April 12, 2020
1 person is currently reading
2 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.