Skip to content

feat(lean,#17845): brique k2.2 — surface de convexité (add_smul_mem_convexHull + sum_smul) - #19078

Merged
myia-ai-01 merged 3 commits into
mainfrom
feature/komlos-k22-convexhull
Oct 8, 2026
Merged

feat(lean,#17845): brique k2.2 — surface de convexité (add_smul_mem_convexHull + sum_smul)#19078
myia-ai-01 merged 3 commits into
mainfrom
feature/komlos-k22-convexhull

Fix: #19078 -- union delimiberee de FORMAL_STATUS.md (k2.2 + apports …

f512776
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar