DMCA

1 The CADE-20 Automated Theorem Proving Competition

by Geoff Sutcliffe