▲ 0 r/CollatzMy proofHi all... Here is the proof .pdf and .lean:https://bytes.usc.edu/~saty/Collatz Saty reddit.com u/AgreeableClaim8075 — 5 days ago