TPTP Users | ![]() Me | ![]() Christian Suttner (1996) | ![]() Larry Paulson | ![]() Sarah Winkler | ![]() Josef Urban | ![]() Allen Van Gelder | ![]() Koen Claessen | ![]() Laura Kovacs | ![]() Joe Hurd | ![]() Doug Lenat | ![]() Olaf Scholz (with TPTP) | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 | ![]() Olaf Scholz |