condetCondensed Detachmentcondensed detachmentmodus ponensATPtheorem provingautomated reasoningautomated deductionlogiccalculus2.0.1 • Published 4 years ago
tptpConnecting to the TPTP Problem LibraryTPTPATPtheorem provingautomated reasoning1.0.0 • Published 3 years ago