at.logic.gapt.proofs.reduction
Simplifies the problem by grounding free variables.
Sequentially composes reductions.
Simplifies the problem by grounding free variables.