Premise Selection and External Provers for HOL4. (2015)

by Thibault Gauthier, Cezary Kaliszyk
Venue:In Proceedings of the 2015 Conference on Certified Programs and Proofs,