TPHOL

AcronymDefinition
TPHOLTheorem Proving in Higher Order Logics