Skip to content

Prove characteristic-two odd-type rank floors 22 and 53 (no new κ) - #5253

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1022u-odd-five-char2
Oct 23, 2026
Merged

Prove characteristic-two odd-type rank floors 22 and 53 (no new κ)#5253
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1022u-odd-five-char2

feat(research): prove odd-type rank floors 22 and 53 in char two

b370949
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 5m 42s