Describir: Introduction to Lean.