Repository navigation

fix(lean,#18440): align print references with #18199 Lean rename (Lean-10 seul) - #18440

Merged

myia-ai-01 merged 10 commits into

mainfrom

fix/18420-lean01-print-old-names

Oct 2, 2026

Commits on Sep 30, 2026
- fix(lean,#18420): align print references with #18199 Lean rename
  
  jsboige
  and
  claude
  committed
  1ad1207
- Merge branch 'main' into fix/18420-lean01-print-old-names
  jsboige
  authored
  6cd4fed
- fix(lean,#18440): re-papermill with coursia-ml-training (kernel drift + papermill ratchet)
  
  jsboige
  and
  claude
  committed
  a66bf06
- fix(lean,#18440): re-papermill Lean-01+Lean-10 on python3 (3.13.3) to match base kernel
  
  jsboige
  and
  claude
  committed
  986f9ce
Commits on Oct 1, 2026
Commits on Oct 2, 2026
- fix(lean,#18440): carve-out Split-reading -- fusionner pseudo-code + interpretation Pseudo-code dans cell[62]
  
  jsboige
  and
  claude
  committed
  60c2307
- Merge branch 'main' into fix/18420-lean01-print-old-names
  jsboige
  authored
  6160d44