Skip to content

Formalize OEIS A147983 Chomp three-opening challenge - #177

Closed
DomTheDeveloper wants to merge 2 commits into
upstream-main-20260723from
submit/oeis-a147983-chomp-final-gdm
Closed

Formalize OEIS A147983 Chomp three-opening challenge#177
DomTheDeveloper wants to merge 2 commits into
upstream-main-20260723from
submit/oeis-a147983-chomp-final-gdm

Commits

Commits on Jul 23, 2026