Skip to content

Prove sharp uniform bounds for triangular parity macro cuts - #4731

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/triangular-parity-prefix-audit
Oct 22, 2026
Merged

Prove sharp uniform bounds for triangular parity macro cuts#4731
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/triangular-parity-prefix-audit

Commits

  1. Commits on Oct 22, 2026