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

Record corrected Chomp solution and Lean reduction

8f81961
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build project
succeeded Jul 23, 2026 in 3h 54m 10s