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

Abstract

Want to get experience? Want to get any ideas to create new things in your life? Read isabelle hol a proof assistant for higher order logic now! By reading this book as soon as possible, you can renew the situation to get the inspirations. Yeah, this way will lead you to always think more and more. In this case, this book will be always right for you. When you can observe more about the book, you will know why you need this.

DOI: 10.1007/3-540-45949-9
0100200'03'05'07'09'11'13'15'17
Citations per Year

2,714 Citations

Semantic Scholar estimates that this publication has 2,714 citations based on the available data.

See our FAQ for additional information.

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} }