TPTP Users

       
Me
       
Christian Suttner (1996)
       
Larry Paulson
       
Bernd Fischer
       
Josef Urban
       
Allen Van Gelder
       
Koen Claessen
       
Yi Gao
       
Joe Hurd
       
Doug Lenat
                             
Jeremy Avigad (2025)
       

TPTP Non-Users

       
Tim Bray
       
Christian Suttner (2018)
       
Bill McCune
       
Christoph Weidenbach
       
Volker Diekert
       
Alan Bundy
       
Random CADE‑21 attendee
       
Jörg Siekmann
       
John Slaney
       
AI Researcher
       
Jeremy Avigad