Learning To Use HOL | IEEE Conference Publication | IEEE Xplore