The cade-23 automated theorem proving system competition–casc (0)

by Geoff Sutcliffe