Lean for All

 Lean for All🔗

Contents

  1. Week 1: Reading what a theorem says
  2. Week 2: Following a proof step by step
  3. Week 3: Definitions, types and conventions
  4. Week 4: Auditing a proof
  5. Advanced: Auditing real theorems
  6. Practice
  7. Lab
  8. About