Skip to content

InductiveSequentialization2 proof rule #1571

InductiveSequentialization2 proof rule

InductiveSequentialization2 proof rule #1571

Annotations

5 errors and 4 warnings

Boogie CI (Release, batch_mode=False)

failed May 22, 2024 in 36s