Repository navigation

Fix(notebook,#13410): redressement densite g151 -- Lean-19c (992 -> 1399) et SC-11 (754 -> 1309), markdown-only - #24804

Merged

myia-ai-01 merged 1 commit into

mainfrom

wt/vibe-g151-symbolicai-26

Nov 6, 2026

Merged

Fix(notebook,#13410): redressement densite g151 -- Lean-19c (992 -> 1399) et SC-11 (754 -> 1309), markdown-only#24804
myia-ai-01 merged 1 commit into
mainfrom
wt/vibe-g151-symbolicai-26

Commits on Nov 5, 2026
- Fix(notebook,#13410): redressement densite g151-symbolicai-26 -- Lean-19c (992 -> 1399) et SC-11 (754 -> 1309), redressement #17040
  jsboige
  committed
  002f1db