How Good is your Theorem Prover?
(How Hard is that Problem?)
(How Green is my Cactus?)
by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
Work done with
Christian Suttner
Antfactory
Germany
csuttner@antfactory.com
Abstract