Skip to content

Refactor(lean,#23164): descendre le lake conway_lean vers GOL/conway_lean - #24166

Merged
myia-ai-01 merged 27 commits into
mainfrom
feature/conway-lake-descend
Nov 4, 2026
Merged

myia-ai-01 merged 27 commits into
mainfrom
feature/conway-lake-descend

Chore(twin,#24166): renumeroter les trois attestations GT-08/08c/09 h…

279c12f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar