Skip to content

[Superseded] Formalize OEIS A147983 Chomp three-opening challenge - #134

Closed
DomTheDeveloper wants to merge 2 commits into
upstream-main-20260723from
oeis-a147983-chomp-10x42-gdm
Closed

[Superseded] Formalize OEIS A147983 Chomp three-opening challenge#134
DomTheDeveloper wants to merge 2 commits into
upstream-main-20260723from
oeis-a147983-chomp-10x42-gdm