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

Cite this paper

@inproceedings{Nipkow2002IsabelleHOLA, title={Isabelle/HOL - A Proof Assistant for Higher-Order Logic}, author={Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel}, booktitle={Lecture Notes in Computer Science}, year={2002} }