fix(lean,#16985): REPAIR-2 morphologique map REACCENT (1 'peut être prouve' + 14 donne) - #16989

Closed

jsboige wants to merge 5 commits into

fix/c1316-repair-morpho-pr16951from

fix/c1317-repair2-morpho-pr16951

Commits on Sep 20, 2026

docs(notebooks,#16638): reaccent Lean-3 Propositions Proofs (filtre print C.2)

jsboige
and
claude
committed
de2fc9a
fix(lean,#16951): REPAIR morphologique map REACCENT (Lean-3 Propositions)

jsboige
and
claude
committed
8232ca2
fix(lean,#16985): REPAIR-2 morphologique map REACCENT (1 'peut être prouve' + 14 donne)

jsboige
and
claude
committed
3e2d351
fix(lean,#16989): REPAIR-5 revert Hermes CONCERNS 7 « étant donne » fautifs

jsboige
and
claude
committed
d3e6890

Commits on Sep 23, 2026

fix(lean,#16989): cellule 23 — « donné » → « donne » (verbe, pas participe)

jsboige
and
claude
committed
b700bfa