Skip to content

fix(lean,#16952): REPAIR-3 morphologique map REACCENT (0 donne + 1 prouve fautifs) - #17003

Merged
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean7from
fix/c1319-repair3-morpho-pr16952
Sep 21, 2026
Merged

fix(lean,#16952): REPAIR-3 morphologique map REACCENT (0 donne + 1 prouve fautifs)#17003
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean7from
fix/c1319-repair3-morpho-pr16952

fix(lean,#16952): REPAIR-3 morphologique map REACCENT (0 donne + 1 pr…

61e7782
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar