Checks if the lk proofs p1 and p2 are equal modulo the predicate pred.
Checks if the lk proofs p1 and p2 are equal modulo the predicate pred. The branching structure must be kept intact.
an LK proof
the LK proof to compare to
a predicate returning true whenever the two rule types should be considered isomorphic
true iff p1 and p2 are ismorphic modulo pred
Checks if two proof have the same branching structure.
does not work for LKsk proofs