Repository navigation

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

Commits on Oct 6, 2026
- feat(lean,#17845): brique k2.2 -- surface de convexite (add_smul_mem_convexHull + sum_smul)
  
  jsboige
  and
  claude
  committed
  dd10e15
Commits on Oct 7, 2026
- Merge origin/main into feature/komlos-k22-convexhull -- union delimiberee FORMAL_STATUS.md
  
  jsboige
  and
  claude
  committed
  bdc3783
- Fix: #19078 -- union delimiberee de FORMAL_STATUS.md (k2.2 + apports main)
  
  jsboige
  and
  claude
  committed
  f512776