Skip to content

Formalize OEIS A147983 Chomp three-opening challenge - #133

Closed
DomTheDeveloper wants to merge 1 commit into
upstream-main-20260723from
oeis-a147983-chomp-10x42-upstream
Closed

Formalize OEIS A147983 Chomp three-opening challenge#133
DomTheDeveloper wants to merge 1 commit into
upstream-main-20260723from
oeis-a147983-chomp-10x42-upstream

Commits

Commits on Jul 23, 2026