Repository navigation

docs(notebooks,#16638): reaccent Lean-10 LeanDojo (filtre print C.2) - #16943

Merged

myia-ai-01 merged 18 commits into

mainfrom

feature/16638-deaccent-lean10-leandojo

Sep 25, 2026

Commits on Sep 20, 2026
Commits on Sep 21, 2026
- fix(lean,#16943): REPAIR-9 additif -- 4 fautes REACCENT upstream corrigees (2 prouve + 2 donne)
  
  jsboige
  and
  claude
  committed
  1899acd
Commits on Sep 22, 2026
- fix(notebooks,#16943): re-trigger CI after PR gate flaky
  jsboige
  committed
  cd0fba8
- Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
  jsboige
  authored
  ca1a92d
Commits on Sep 23, 2026
Commits on Sep 24, 2026
Commits on Sep 25, 2026
- Merge branch 'main' into feature/16638-deaccent-lean10-leandojo
  jsboige
  authored
  78cd877