carW_spec (KFT §3: linear cost bounds, the `bin_{2n}` write, and carries-then-write) · Prove2Me

P

Initializing...

carW_spec (KFT §3: linear cost bounds, the `bin_{2n}` write, and carries-then-write) · Prove2Me