Skip to content

Research: connected E8 frame subfamilies need not saturate diagonal incidence - #1649

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/donated-oct14-navinor
Oct 14, 2026
Merged

Research: connected E8 frame subfamilies need not saturate diagonal incidence#1649
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/donated-oct14-navinor

test(research): certify an E8 incidence boundary

66711b5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 15, 2026 in 37s