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

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

708f0ad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 45s