The Mechanics of Proof
Preface
1. Proofs by calculation
2. Proofs with structure
3. Parity and divisibility
4. Proofs with structure, II
5. Logic
6. Induction
7. Number theory
8. Functions
9. Sets
10. Relations
Index of Lean tactics
Transitioning to mainstream Lean
The Mechanics of Proof
»
Index
Index