Skip to content

Construct exact uniform two-capacity completions (no κ) - #6607

Open
petalas wants to merge 2 commits into
CrocSwap:mainfrom
petalas:research/w5-1102j-native-obstruction
Open

Construct exact uniform two-capacity completions (no κ)#6607
petalas wants to merge 2 commits into
CrocSwap:mainfrom
petalas:research/w5-1102j-native-obstruction

fix(research): include dimension zero in the count bound

0abcc97
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 33s