Skip to content

Add verified SOS1 Big-M promotion transform in Lean - #1132

Draft
termoshtt wants to merge 15 commits into
mainfrom
codex/add-sos1-bigm
Draft

Add verified SOS1 Big-M promotion transform in Lean#1132
termoshtt wants to merge 15 commits into
mainfrom
codex/add-sos1-bigm

Consolidate SOS1 Big-M selector formulation

8d3dfb9
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Aug 18, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.