Skip to content

feat(lean,#17845): brique k2.4 -- pas complet de pullback (toRealProd + caracterisations de support + pullback) - #19084

Merged
myia-ai-01 merged 3 commits into
mainfrom
feature/komlos-k24-pullback
Oct 9, 2026
Merged

feat(lean,#17845): brique k2.4 -- pas complet de pullback (toRealProd + caracterisations de support + pullback)#19084
myia-ai-01 merged 3 commits into
mainfrom
feature/komlos-k24-pullback

Merge branch 'main' into feature/komlos-k24-pullback

bbc280b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar