Repository navigation

Fix(lean,#17357): contre-audit Lean-12 -- 13 defauts corriges + rejeu - #22884

Merged

myia-ai-01 merged 4 commits into

mainfrom

fix/lean12-sensitivity-audit

Oct 30, 2026

Merged

Fix(lean,#17357): contre-audit Lean-12 -- 13 defauts corriges + rejeu#22884
myia-ai-01 merged 4 commits into
mainfrom
fix/lean12-sensitivity-audit

Commits on Oct 27, 2026
- Fix(lean,#17357): contre-audit Lean-12 -- 13 defauts corriges + rejeu
  
  jsboige
  and
  claude
  committed
  81e0c26
- Fix(notebook,#17357): prose-counts -- retirer deux compteurs en prose (Lean-12)
  
  jsboige
  and
  claude
  committed
  0e088f3
Commits on Oct 29, 2026
- Fix(lean,#17357): Lean-12 -- trois reserves NanoClaw (hypothese Gotsman-Linial, arbre du lake, instrument du compte sorry)
  
  jsboige
  and
  claude
  committed
  87adb4a
- Merge branch 'main' into fix/lean12-sensitivity-audit
  jsboige
  authored
  b4bae7a