Skip to content

Rename(#17545): T2 GALOIS - descente de l'ilot (carnet 22 + lake galois_lean) - #23116

Merged
myia-ai-01 merged 10 commits into
mainfrom
feature/17545-galois-descente-t2
Oct 31, 2026
Merged

myia-ai-01 merged 10 commits into
mainfrom
feature/17545-galois-descente-t2

Commits

  1. Commits on Oct 31, 2026