Conditional kappa 0.001587212454640692: trace refinement with a curvature-cone certificate - #541

Conditional kappa 0.001587212454640692: trace refinement with a curvature-cone certificate#541

Mister-Meeseeks merged 10 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Dugongue:tn23Dugongue/integer-mult-bounds:tn23Copy head branch name to clipboard