Independently check #4554's linear-program lowering (PHASE-TABLES §2, §4): exact induction, random programs, FFT instantiation (no new κ) - #4566

Independently check #4554's linear-program lowering (PHASE-TABLES §2, §4): exact induction, random programs, FFT instantiation (no new κ)#4566

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:check-4554-loweringpinterbanget/integer-mult-bounds:check-4554-loweringCopy head branch name to clipboard