TPHOLs

AcronymDefinition
TPHOLs➣Theorem Proving in Higher Order Logics (conference)