All in Lean