Repository navigation

feat(lean,#17845): brique k2.6c -- l'assemblage final (Lemme 1.4, SignedSums + jumeau _en) - #19464

Merged

myia-ai-01 merged 11 commits into

mainfrom

feature/komlos-k26c-signedsums

Oct 10, 2026

Commits on Oct 8, 2026
Commits on Oct 9, 2026
- Merge origin/main into feature/komlos-k26c-signedsums
  
  jsboige
  and
  claude
  committed
  d039859
- Merge origin/main dans feature/komlos-k26c-signedsums -- resolution de FORMAL_STATUS.md
  
  jsboige
  and
  claude
  committed
  0aab0a7
Commits on Oct 10, 2026
- Merge origin/main into k2.6c (base = PR head 0aab0a7829): sum_smul_inl kept, assembly on top
  
  jsboige
  and
  claude
  committed
  75826f8