Repository navigation

Add(lean,#18408): escalier Lean-20 vers la sous-série ANALYSE (capstone digestion Tao) - #18409

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/lean-20-escalier-analyse

Sep 29, 2026

Commits on Sep 29, 2026
- Add(lean,#18408): escalier Lean-20 vers la sous-serie ANALYSE
  
  jsboige
  and
  claude
  committed
  4b71ca4
- fix(lean,#17545): Lean-21 navigation points back to the Lean-20 capstone
  
  jsboige
  and
  claude
  committed
  5403221