Skip to content

C(P112) >= 64: complete reduction to stated conjectures - #3154

Open
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p112-reduction-to-conjectures
Open

C(P112) >= 64: complete reduction to stated conjectures#3154
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p112-reduction-to-conjectures

Commits

  1. Commits on Oct 17, 2026