TPHOLs
Redirect to:
Interactive Theorem Proving (conference)