Skip to content

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
Merged

feat(lean,#17845): brique k2.6c -- l'assemblage final (Lemme 1.4, SignedSums + jumeau _en)#19464
myia-ai-01 merged 11 commits into
mainfrom
feature/komlos-k26c-signedsums

Merge origin/main into k2.6c (base = PR head 0aab0a7829): sum_smul_in…

75826f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar