Developing An Interface For HOL | IEEE Conference Publication | IEEE Xplore