Skip to content

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
Merged

myia-ai-01 merged 2 commits into
mainfrom
feature/lean-20-escalier-analyse

fix(lean,#17545): Lean-21 navigation points back to the Lean-20 capstone

5403221
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar