Conditional kappa: verified 400-digit refinement over PR1875 (+6.06686e-301) - #1876

Conditional kappa: verified 400-digit refinement over PR1875 (+6.06686e-301)#1876

rohanarun wants to merge 6 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

rohanarun:codex/fine-prime-root160rohanarun/integer-mult-bounds:codex/fine-prime-root160Copy head branch name to clipboard