Repository navigation

Fix(notebooks,#17357): reassessment des 4 carnets Lean -- parseur anti-artefact Lean-09 + prose alignee - #20158

Merged

myia-ai-01 merged 6 commits into

mainfrom

feature/17357-lean-audit-fixes

Oct 11, 2026

Merged

Fix(notebooks,#17357): reassessment des 4 carnets Lean -- parseur anti-artefact Lean-09 + prose alignee#20158
myia-ai-01 merged 6 commits into
mainfrom
feature/17357-lean-audit-fixes

Commits on Oct 9, 2026
- Fix(notebooks,#17357): reassessment des 4 carnets Lean rendus par po-2023
  
  jsboige
  and
  claude
  committed
  63bf4b8
- Fix(notebooks,#17357): Lean-09 -- eliminer le chemin machine de la sortie de configuration
  
  jsboige
  and
  claude
  committed
  2dd0e69
Commits on Oct 10, 2026
- Fix(notebooks,#17357): Lean-10 -- re-execution reelle, tracing restaure, sequence 1..26
  
  jsboige
  and
  claude
  committed
  6f7e7d8
Commits on Oct 11, 2026