Skip to content

feat(lean,#19884): digestion pedagogique Euler/BKM + NS C/D -- ce que les certificats etablissent et ne disent pas - #19891

Merged
myia-ai-01 merged 9 commits into
mainfrom
feature/19884-thom-lean-euler-ns-lecture
Oct 10, 2026
Merged

feat(lean,#19884): digestion pedagogique Euler/BKM + NS C/D -- ce que les certificats etablissent et ne disent pas#19891
myia-ai-01 merged 9 commits into
mainfrom
feature/19884-thom-lean-euler-ns-lecture

fix(lean,#19891): R1 -- trois renvois §1/§2/§3 sans referent, resolus…

c5c8222
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar