Repository navigation

docs(lean,#2874): knot_lean README FR+EN -- l'etat reel du code : marquee prouve #11958 - #16079

Merged

myia-ai-01 merged 1 commit into

mainfrom

fix/knot-lean-readme-state

Sep 14, 2026

Merged

docs(lean,#2874): knot_lean README FR+EN -- l'etat reel du code : marquee prouve #11958#16079
myia-ai-01 merged 1 commit into
mainfrom
fix/knot-lean-readme-state

Commits on Sep 14, 2026
- docs(lean,#2874): knot_lean README FR+EN -- re-aligner l'etat sur le code (marquee prouve #11958)
  
  jsboige
  and
  claude
  committed
  ef81515