Repository navigation

fix(lean,#16638): reaccénter Lean-16a Conway Man and Work (filtre decide étendu) - #16970

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/16638-deaccent-lean16a

Sep 23, 2026

Commits on Sep 20, 2026

fix(lean,#16638): reaccénter Lean-16a Conway Man and Work (filtre decide/simp/etc. étendu c.1311)
jsboige
committed
462e95f

Commits on Sep 23, 2026

Fix: Lean-16a reparer le collapse des sources (reset 462e95f2a + re-application lexical newline-safe)

jsboige
and
claude
committed
b235723
Merge branch 'main' into feature/16638-deaccent-lean16a
jsboige
authored
8782f87