A Continuous Lean