Repository navigation

rename(#16231): Lean socle -- 12 carnets Lean-01..09b au canon (padding + suffixe de noyau) - #18199

Merged

myia-ai-01 merged 10 commits into

mainfrom

rename/lean-socle-zero-pad

Sep 29, 2026

Merged

rename(#16231): Lean socle -- 12 carnets Lean-01..09b au canon (padding + suffixe de noyau)#18199
myia-ai-01 merged 10 commits into
mainfrom
rename/lean-socle-zero-pad

Commits on Sep 28, 2026
- fix(notebooks,#17545): pre-apply the '---' opener autofix on Lean socle notebooks
  
  jsboige
  and
  claude
  committed
  8e26cb7
- fix(lean,#17545): smoke_test_epita_is decodes papermill output as UTF-8
  
  jsboige
  and
  claude
  committed
  2964cd4
- rename(#16231): git mv purs (12 notebooks)
  jsboige
  committed
  9875e77
- rename(#16231): referents reecrits par surface (63 fichiers)
  jsboige
  committed
  815b883
- rename(#16231): markdown referents of the 3 notebooks the tool refuses
  
  jsboige
  and
  claude
  committed
  d5ada0d
- fix(lean,#17545): verify_lean --filter ignores index padding
  
  jsboige
  and
  claude
  committed
  61a425f
- Merge remote-tracking branch 'origin/main' into rename/lean-socle-zero-pad
  jsboige
  committed
  df61ecd
Commits on Sep 29, 2026