Skip to content

Prove nine calls are necessary for three abelian bit registers - #468

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/bit-three-register-lower-bound
Oct 12, 2026
Merged

Prove nine calls are necessary for three abelian bit registers#468
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/bit-three-register-lower-bound

Prove the nine-call lower bound for three abelian bit registers

07a78bf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs