Skip to content

feat(lean,#16752): GrokkingLemmas — delta R02 recadré (conservation C flot l0 + hyperplan centré) - #16905

Merged
myia-ai-01 merged 7 commits into
mainfrom
feature/16752-grokking-lean
Sep 23, 2026
Merged

feat(lean,#16752): GrokkingLemmas — delta R02 recadré (conservation C flot l0 + hyperplan centré)#16905
myia-ai-01 merged 7 commits into
mainfrom
feature/16752-grokking-lean

Merge branch 'main' into feature/16752-grokking-lean

060e896
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar