Skip to content

Certify a unique positive query-tree crossing by tail sums (no κ) - #6672

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1102m-tail-sum-crossing
Nov 10, 2026
Merged

Certify a unique positive query-tree crossing by tail sums (no κ)#6672
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1102m-tail-sum-crossing

feat(research): certify a unique positive query-tree crossing by tail…

001cf13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
plan
cancelled Nov 3, 2026 in 10m 22s