Repository navigation

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

Commits on Sep 19, 2026
- feat(lean,#16752): Grokking lake - R02 effective theory (Props 1-2 + Appendix F conservation laws)
  
  jsboige
  and
  claude
  committed
  f44ca5a
Commits on Sep 22, 2026
- feat(lean,#16752): Grokking lake - R02 effective theory (Props 1-2 + Appendix F conservation laws)
  
  jsboige
  and
  claude
  committed
  558e21a
Commits on Sep 23, 2026