Week 3: Definitions, types and conventions🔗

Definitions, recursion, structures and lists, hidden arguments, number types and conversions, junk values, and how to read Mathlib-style statements: everything that can make a statement mean something other than what it seems to say.

1. Day 15: Definitions
2. Day 16: Definitions by cases and recursion
3. Day 17: Structures, lists and dot notation
4. Day 18: Hidden arguments
5. Day 19: Number types and hidden conversions
6. Day 20: Junk values and Mathlib-style statements
7. Day 21: Week 3 review: what was really proved?