Skip to content

feat(lean,#17845): tranche k3.2 — Komlos/Grid.lean, poids normalisé gridF + borne L² (0 sorry) - #19569

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/komlos-k3-grid
Oct 7, 2026
Merged

feat(lean,#17845): tranche k3.2 — Komlos/Grid.lean, poids normalisé gridF + borne L² (0 sorry)#19569
myia-ai-01 merged 1 commit into
mainfrom
feature/komlos-k3-grid

feat(lean,#17845): tranche k3.2 -- Komlos/Grid.lean, poids normalise …

dff66a4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar