Skip to content

InductiveSequentialization2 proof rule #79

InductiveSequentialization2 proof rule

InductiveSequentialization2 proof rule #79

Annotations

1 warning

LeanAuto CI

succeeded May 23, 2024 in 4m 55s