at.logic.gapt.proofs.expansionTrees
Counts the number of instances of the expansion trees in a MultiExpansionSequent and provides human-readable formatting of this data.
Counts the number of instances of the expansion trees in a MultiExpansionSequent and provides human-readable formatting of this data.