## Isabelle/HOL: A proof assistant for higher-order logic

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Interesting papers

[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

The opinions expressed are my own views and not my employer’s.