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

Formalize OEIS A147983 Chomp challenge

001ddbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
Build project
failed Jul 23, 2026 in 24m 44s