Skip to content

feat: Lagrange duality for finitely many convex constraints under Slater's condition - #387

Merged
lmlexplore-automation[bot] merged 7 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lagrange-duality-slater-worker3
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 7 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lagrange-duality-slater-worker3

refactor: name the joint convex-like condition and export the sum lemmas

1b6b1e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 14, 2026 in 4s