Repository navigation

Fix(notebooks,#20173): Lean-16b -- deux claims perimes hors table, corriges et re-executes - #20207

Merged

myia-ai-01 merged 3 commits into

mainfrom

fix/20173-lean16b-prose

Oct 10, 2026

Merged

Fix(notebooks,#20173): Lean-16b -- deux claims perimes hors table, corriges et re-executes#20207
myia-ai-01 merged 3 commits into
mainfrom
fix/20173-lean16b-prose

Commits on Oct 10, 2026
- Fix(notebooks,#20173): Lean-16b -- deux claims perimes hors table, corriges et re-executes
  
  jsboige
  and
  claude
  committed
  03136b2
- Fix(notebooks,#20173): prose-counts -- retirer les compteurs figes, garder le predicat
  
  jsboige
  and
  claude
  committed
  d9674dc
- Fix(notebooks,#20173): prose-counts sur cellules code + re-execution C.2
  
  jsboige
  and
  claude
  committed
  6de4cae