[Formal proof in progress] OEIS A147983 Chomp 10x42 - #145

[Formal proof in progress] OEIS A147983 Chomp 10x42#145

DomTheDeveloper wants to merge 2 commits into

mainDomTheDeveloper/formal-conjectures:mainfrom

agent/oeis-a147983-chomp-dtdDomTheDeveloper/formal-conjectures:agent/oeis-a147983-chomp-dtdCopy head branch name to clipboard