at.logic.gapt.formats.llkNew
An extended proof database allows to label subproofs by formulas. It provides mappings from formulas to proofs additionally to the list of pairs.
An extended proof database allows to label subproofs by formulas. It provides mappings from formulas to proofs additionally to the list of pairs.