TPHOL

AcronymDefinition
TPHOL➣Theorem Proving in Higher Order Logics