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