Mizar Light for HOL Light

F. Wiedijk
DOI: https://doi.org/10.1007/3-540-44755-5_26
2001-09-03
Abstract:
What problem does this paper attempt to address?