Collatz Conjecture - Lean | SlaveCode