Introduction to Lean