Skip to content

Prove a sharp degree-eight tree barrier for a Boolean table (no new κ) - #5917

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1022aa-target
Oct 27, 2026
Merged

Prove a sharp degree-eight tree barrier for a Boolean table (no new κ)#5917
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1022aa-target

feat(research): prove a sharp Boolean table tree-degree barrier

6bce04a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 27, 2026 in 4m 10s