Skip to content

fix(proof): reject only explicit Decision alternatives - #279

Merged
tonyketcham merged 1 commit into
mainfrom
fix/proof-decision-alternatives
Sep 25, 2026
Merged

fix(proof): reject only explicit Decision alternatives#279
tonyketcham merged 1 commit into
mainfrom
fix/proof-decision-alternatives

fix(proof): reject only explicit Decision alternatives

9d6e84f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar