Skip to content

Prove the uniform E8 one-coset budget and two-sided rank-nine floor - #3755

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/e8-one-coset-audit-fixes
Oct 20, 2026
Merged

Prove the uniform E8 one-coset budget and two-sided rank-nine floor#3755
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/e8-one-coset-audit-fixes

Prove the uniform E8 coset budget and two-sided rank-nine floor

9ab51a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 2m 1s