The 13th TPTP Tea Party

A satellite event of IJCAR 2024

Monday 1st July 2024

organized by
Geoff Sutcliffe
University of Miami, USA
Alexander Steen
University of Greifswald, Germany

Financial support from

Working Group 2 Automated Theorem Provers, COST Action 2011 EuroProofNet

Abstract