Skip to content

InductiveSequentialization2 proof rule #73

InductiveSequentialization2 proof rule

InductiveSequentialization2 proof rule #73

Annotations

1 warning

LeanAuto CI

succeeded May 22, 2024 in 5m 12s