Skip to content

A p = 10 complex supplier: five-stage complex saving 7795/10⁷ (centre-sharing) and 7737/10⁷ (#304 recipe), both kernel-checked in Lean (no new κ; raises the complex cap above 7727) - #327

Closed
DreamingOfClouds wants to merge 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/complex-p10
Closed

A p = 10 complex supplier: five-stage complex saving 7795/10⁷ (centre-sharing) and 7737/10⁷ (#304 recipe), both kernel-checked in Lean (no new κ; raises the complex cap above 7727)#327
DreamingOfClouds wants to merge 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/complex-p10

Re-pin the root Makefile and README in research/joint-dual/SOURCE.json

40ed045
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 10, 2026 in 20s