at.logic.gapt.proofs.drup
DRUP proof.
A DRUP proof consists of a sequence of clauses. Each clause is either a DrupInput, a DrupDerive, or a DrupForget.
DRUP proof.
A DRUP proof consists of a sequence of clauses. Each clause is either a DrupInput, a DrupDerive, or a DrupForget.