Master Lean through structured exercises and hands-on practice
Get started with Lean syntax and basic proofs
Learn to define functions and prove properties about them
Work with logical propositions and proofs
Learn proof by induction on natural numbers
Learn to work with lists and prove properties