Why Does it Work?

A Homogeneous Environment

• Core infrastructure and standards: TPTP language, TPTP library, TSTP library, SZS ontology
• Services: SystemOnTPTP, GDV, AGInT, IDV, TPI, RemoteSoT

TPTP Compliance

• Elegance is not optional - Richard O'Keefe

• TPTP-compliance is not optional - Geoff Sutcliffe

A Focus on Users and Developers

• Many users, many developers, many contributions
• Feedback always welcome

A Curious Effect