Certify all-source first-crossing descent through horizon 14186 - #31

Certify all-source first-crossing descent through horizon 14186#31

Chessing234 merged 1 commit into

mainChessing234/collatz:mainfrom

research/certified-first-crossingChessing234/collatz:research/certified-first-crossingCopy head branch name to clipboard