Lean4 Formalization of Eliahou's lower bound on Collatz Cycle lengths (by Aristotle ai)
github.com/tangentstorm/eliahou-collatz-bounds
github.comPosted Apr 10, 2026, 12:49 AM UTC
11
github.comLoading comments…
github.comgithub.comPosted Apr 10, 2026, 12:49 AM UTC