Depth-two connector blocks on six, seven and eight sources: N(c) ≥ 6⌊c/2⌋ for c ≥ 8, up to 8⌊c/2⌋ for c ≥ 27 (no new κ) - #6061

Depth-two connector blocks on six, seven and eight sources: N(c) ≥ 6⌊c/2⌋ for c ≥ 8, up to 8⌊c/2⌋ for c ≥ 27 (no new κ)#6061

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:s39-connector-depth-two-large-cJosieElliston/integer-mult-bounds:s39-connector-depth-two-large-cCopy head branch name to clipboard