Click on a thumbnail to go to Google Books.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2002)
by Tobias Nipkow, Lawrence C. Paulson (Author), Markus Wenzel (Author)
References to this work on external resources.
Wikipedia in English (1)
No descriptions found.
No library descriptions found.
RatingAverage: No ratings.
Is this you?
Become a LibraryThing Author.