Repository navigation

Docs(gametheory,#20975): jumeaux anglais lean -- compteurs d'artefacts renvoyes au catalogue - #22241

Merged

myia-ai-01 merged 1 commit into

mainfrom

fix/20975-gametheory-lean-en

Oct 24, 2026

Merged

Docs(gametheory,#20975): jumeaux anglais lean -- compteurs d'artefacts renvoyes au catalogue#22241
myia-ai-01 merged 1 commit into
mainfrom
fix/20975-gametheory-lean-en

Commits on Oct 23, 2026
- Docs(gametheory,#20975): jumeaux anglais lean -- compteurs d'artefacts renvoyes au catalogue
  
  jsboige
  and
  claude
  committed
  16a6ffd