complex-p10

Workflow runs for complex-p10

• 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)

  completed successfully:
  complex-p10#1:Pull request#327openedbyDreamingOfClouds
  DreamingOfClouds:research/complex-p10

  Oct 10, 202619m 20s
  More actions for workflow run 1