Week 1: Reading what a theorem says🔗

The parts of a theorem, numbers in Lean, and the words of logic: for every, if, and, or, not, there exists.

1. Day 1: A theorem is a claim and a proof
2. Day 2: Numbers in Lean are a little different
3. Day 3: Variables mean “for every”
4. Day 4: If … then: hypotheses
5. Day 5: And, or, not, if and only if
6. Day 6: There exists
7. Day 7: Week 1 review: read it out loud