Week 4: Auditing a proof🔗

Check Lean written by someone else, or by an AI: is it really proved, can its hypotheses hold, do they assume the answer, do the definitions mean what they say, and is the statement the claim?

1. Day 22: What does “proved” mean?
2. Day 23: Hypotheses that can never hold
3. Day 24: Hypotheses that assume the answer
4. Day 25: Definitions that lie
5. Day 26: Proving something else
6. Day 27: The audit checklist
7. Day 28: Case study: a too-good-to-be-true proof
8. Day 29: Case study: the statement does not match the claim
9. Day 30: Graduation