Repository navigation

rename(#16231,#17545): descente ANALYSE en dossier — 4 carnets + referents (pilote CL1) - #18015

Merged

myia-ai-01 merged 10 commits into

mainfrom

feature/lean-analyse-descente

Sep 29, 2026

Commits on Sep 27, 2026
- rename(#16231): git mv purs (4 notebooks)
  jsboige
  committed
  929a368
- rename(#16231): referents reecrits par surface (17 fichiers)
  
  jsboige
  and
  claude
  committed
  2ea86bc
- rename(#16231): profondeurs relatives + READMEs de la descente ANALYSE
  
  jsboige
  and
  claude
  committed
  86a8239
Commits on Sep 28, 2026
- fix(lean,#18015): retirer le compteur de lignes de la prose Lean-28
  
  jsboige
  and
  claude
  committed
  c4870eb
- Merge branch 'main' into feature/lean-analyse-descente
  
  jsboige
  and
  claude
  committed
  305800c
- Merge branch 'main' into feature/lean-analyse-descente (frais post-#18142/#18105, hunks disjoints)
  jsboige
  committed
  2745677
Commits on Sep 29, 2026