A Proof Assistant for Higher-Order Logic

By Tobias Nipkow, Lawrence Charles Paulson, M. Wenzel. 2002

705 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/c8956b68add9e7693ce86adda9c12718955a2f68