Format limits (no κ claim): certified ceiling κ ≤ 5.1595e-3, spec census, structural lemmas, helper bounds and open problems - #595

Format limits (no κ claim): certified ceiling κ ≤ 5.1595e-3, spec census, structural lemmas, helper bounds and open problems#595

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/format-limitsDreamingOfClouds/integer-mult-bounds:research/format-limitsCopy head branch name to clipboard