Skip to content

InductiveSequentialization2 proof rule #66

InductiveSequentialization2 proof rule

InductiveSequentialization2 proof rule #66