Skip to content

Extend certified first-crossing descent to 2592 and classify feasible times - #4

Merged
Chessing234 merged 1002 commits into
mainfrom
research/first-passage-2592
Oct 6, 2026
Merged

Extend certified first-crossing descent to 2592 and classify feasible times#4
Chessing234 merged 1002 commits into
mainfrom
research/first-passage-2592

ci: cache the explicit Collatz library build

391bf38
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar