Skip to content

Prove E8 span inputs over every odd-characteristic field (no new κ) - #6198

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1029b-frontier-step
Oct 30, 2026
Merged

Prove E8 span inputs over every odd-characteristic field (no new κ)#6198
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1029b-frontier-step

feat(research): extend E8 span inputs to every odd characteristic

2a804fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 14s