TPHOL
1992
IEEE
13 years 8 months ago
1992
IEEE
TPHOL
1992
IEEE
13 years 8 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...