[Blocked: sorry-free proof in progress] OEIS A147983 Chomp - #185

[Blocked: sorry-free proof in progress] OEIS A147983 Chomp#185

DomTheDeveloper wants to merge 2 commits into

upstream-main-20260723DomTheDeveloper/formal-conjectures:upstream-main-20260723from

submit/oeis-a147983-chomp-formal-conjectures-onlyDomTheDeveloper/formal-conjectures:submit/oeis-a147983-chomp-formal-conjectures-onlyCopy head branch name to clipboard