Initial Experiments with External Provers and Premise Selection on HOL Light Corpora

Cezary Kaliszyk and Josef Urban
Proceedings of the 3rd Workshop on Practical Aspects of Automated Reasoning (PAAR 2012), EasyChair Proceedings in Computing 21, pp. 72 – 81, 2013.

abstract   BibTeX   PDF