Skip to content

κ = 8.01083628465007e-4: #346's w3 bit word with Sussman's Lean-checked E8 unit as the complex supplier (+0.96 % over #350) - #352

Closed
DaysSky wants to merge 1 commit into
CrocSwap:mainfrom
DaysSky:research/w3-p10b-e8-complex
Closed

κ = 8.01083628465007e-4: #346's w3 bit word with Sussman's Lean-checked E8 unit as the complex supplier (+0.96 % over #350)#352
DaysSky wants to merge 1 commit into
CrocSwap:mainfrom
DaysSky:research/w3-p10b-e8-complex

Commits

  1. Commits on Oct 11, 2026