Skip to content

feat(lean): Conway Life-as-Computation module (Epic #1647 side-track)#2008

Merged
jsboige merged 4 commits into
mainfrom
feat/conway-life-computation
Jun 1, 2026
Merged

feat(lean): Conway Life-as-Computation module (Epic #1647 side-track)#2008
jsboige merged 4 commits into
mainfrom
feat/conway-life-computation

Commits

Commits on Jun 1, 2026