Skip to content

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

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

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

refactor: make the coordinate expansion of linear maps on R × (ι → R)…

39e4ef8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view