Skip to content

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

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1102m-tail-sum-crossing
Open

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

Commits

  1. Commits on Nov 3, 2026