Repository navigation

fix(lean,#16943): REPAIR-3 morphologique map REACCENT (2 donne + 2 prouve fautifs) - #17001

Closed

jsboige wants to merge 2 commits into

feature/16638-deaccent-lean10-leandojofrom

fix/c1319-repair3-morpho-pr16943

Commits on Sep 20, 2026

fix(lean,#16943): REPAIR-3 morphologique map REACCENT (2 donne + 2 prouve fautifs)

jsboige
and
claude
committed
a7ef1ba
fix(lean,#17001): REPAIR-5 ré-accentuer 2 + 1 résiduelle « prouves » (Lean-10 LeanDojo)

jsboige
and
claude
committed
b3627d2