TPHOLs

AcronymDefinition
TPHOLsTheorem Proving in Higher Order Logics (conference)