Skip to content

Prove exact distinguished-factor tariffs for dirty echo trees (no κ) - #6450

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1102d-product-rigidity
Open

Prove exact distinguished-factor tariffs for dirty echo trees (no κ)#6450
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1102d-product-rigidity

Commits

  1. Commits on Nov 2, 2026