Skip to content

fix(lean,#16956): REPAIR morphologique map REACCENT (28 faux prouve + 1 decide) - #16982

Merged
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean4from
fix/c1315-repair-morpho-lean4
Sep 21, 2026
Merged

fix(lean,#16956): REPAIR morphologique map REACCENT (28 faux prouve + 1 decide)#16982
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean4from
fix/c1315-repair-morpho-lean4

fix(lean,#16956): REPAIR morphologique map REACCENT (28 faux prouve +…

665acc4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar