Skip to content

Prove the sharp common-five P112 deletion bound - #3253

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/20261017-worker-1-common-five-boundary
Oct 17, 2026
Merged

Prove the sharp common-five P112 deletion bound#3253
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/20261017-worker-1-common-five-boundary

Commits

  1. Commits on Oct 17, 2026