Computer ScienceMathematics
A Proof Assistant for Higher-Order Logic
T. Nipkow, Lawrence Charles Paulson, M. Wenzel
Abstract
Abstract is not available.
Citation format
NIPKOW, T.; PAULSON, Lawrence Charles; WENZEL, M. A proof assistant for higher-order logic. Lecture Notes in Computer Science, 2002.