Repository navigation

Prove exact regular J3 optimal second-callee counts (no κ) - #6406

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

petalas:research/w12-1102b-helper-obstruction

Nov 10, 2026

Merged

Prove exact regular J3 optimal second-callee counts (no κ)#6406
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1102b-helper-obstruction

Commits on Nov 2, 2026
- feat(research): count regular J3 optimal second callees
  petalas
  committed
  1eeff4a