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

Prove sharp uniform bounds for triangular parity macro cuts

3fcaa4d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar