The TPTP Problem Library
Thousands of Problems for Theorem Provers
by
and (previously)
Geoff Sutcliffe
Department of Computer Science
University of Miami
Christian Suttner
Institut für Informtik
Technische Universität München
Abstract
It's my Baby