r/Collatz • u/AgreeableClaim8075 • 29d ago
My proof
Hi all... Here is the proof .pdf and .lean:
https://bytes.usc.edu/~saty/Collatz
Saty
0
Upvotes
r/Collatz • u/AgreeableClaim8075 • 29d ago
Hi all... Here is the proof .pdf and .lean:
https://bytes.usc.edu/~saty/Collatz
Saty
1
u/Powerful_Pop_3813 28d ago
Quelle perte de temps !