Repository navigation

docs(notebooks,#16638): reaccent Lean-5 Tactics (filtre print C.2) - #16955

Merged

myia-ai-01 merged 6 commits into

mainfrom

feature/16638-deaccent-lean5

Sep 24, 2026

Commits on Sep 20, 2026
- docs(notebooks,#16638): reaccent Lean-5 Tactics (filtre print C.2)
  
  jsboige
  and
  claude
  committed
  f7fafef
- fix(Lean,#16955): restaure 7 littéraux decide byte-identiques au main (tactiques by decide cassees par reactent decideur)
  jsboige
  committed
  4b1be91
Commits on Sep 22, 2026
- fix(lean,#16955): c.1412 morpho étendu — vérifié + decide/vérifier backtick revert (organ repair_morpho v2)
  
  jsboige
  and
  claude
  committed
  455a2df
- docs(notebooks,#16955): reaccent Lean-5 Tactics — 6 fixes morpho + re-exec complete kernel lean4-wsl
  
  jsboige
  and
  claude
  committed
  c82ff6d
Commits on Sep 23, 2026
- Merge branch 'main' into feature/16638-deaccent-lean5 — repair_morpho.py: version canonique main (#17173) retenue
  jsboige
  committed
  98469bc
- fix(lean,#16955): restaurer les commentaires -- des 9 cellules code a l'etat main
  
  jsboige
  and
  claude
  committed
  8c48be2