Skip to content

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

Closed
lensora wants to merge 1 commit into
CrocSwap:mainfrom
lensora:brian/triangular-parity-prefix-audit
Closed

lensora wants to merge 1 commit into
CrocSwap:mainfrom
lensora:brian/triangular-parity-prefix-audit

Prove sharp uniform bounds for triangular parity macro cuts

3fcaa4d
Select commit
Loading
Failed to load commit list.