ebook img
Author:Tobias Nipkow
Language:English
Release year:2002
File size:0.8 MB
Number of page:231

Similar Isabelle/HOL: A Proof Assistant for Higher-Order Logic