Skip to content

fix(gametheory,#15408): executer le compagnon Lean 06g et reparer son seul blocage de compilation - #18141

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/15408-gt06g-lean-exec
Sep 28, 2026
Merged

fix(gametheory,#15408): executer le compagnon Lean 06g et reparer son seul blocage de compilation#18141
myia-ai-01 merged 1 commit into
mainfrom
fix/15408-gt06g-lean-exec

Commits

  1. Commits on Sep 27, 2026