Skip to content

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
Merged

myia-ai-01 merged 6 commits into
mainfrom
feature/16638-deaccent-lean5

fix(lean,#16955): restaurer les commentaires -- des 9 cellules code a…

8c48be2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar