Fadoua's Reviews > Isabelle/Hol: A Proof Assistant for Higher-Order Logic

Isabelle/Hol by Tobias Nipkow
Rate this book
Clear rating

by
389266
's review
Jun 12, 2012

liked it
bookshelves: my-research

flag

Sign into Goodreads to see if any of your friends have read Isabelle/Hol.
Sign In »

No comments have been added yet.