Independently certify #4483's finite gates (p16 2^2800000000, all four witnesses) and its arbitrary-height flow identities (no new κ) - #4529

Independently certify #4483's finite gates (p16 2^2800000000, all four witnesses) and its arbitrary-height flow identities (no new κ)#4529

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:rank-convergence-gatespinterbanget/integer-mult-bounds:rank-convergence-gatesCopy head branch name to clipboard