Linking Other Theorem Provers to HOL Using PM: Proof Manager

• Authors:

• Myla Archer;George Fink;Lie Yang

• Affiliations:

• -;-;-

• Venue:
• HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
• Year:
• 1992