Applies the proof transformation to an LKProof.
Applies the proof transformation to an LKProof.
The input proof.
The transformed proof.
Applies the proof transformation to an LKProof.
Applies the proof transformation to an LKProof.
The input proof.
A pair consisting of the transformed proof and an OccConnector relating the two proofs.