Index
Logic and Proof
1. Introduction
2. Propositional Logic
3. Natural Deduction for Propositional Logic
4. Propositional Logic in Lean
5. Classical Reasoning
6. Semantics of Propositional Logic
7. First Order Logic
8. Natural Deduction for First Order Logic
9. First Order Logic in Lean
10. Semantics of First Order Logic
11. Sets
12. Sets in Lean
13. Relations
14. Relations in Lean
15. Functions
16. Functions in Lean
17. The Natural Numbers and Induction
18. The Natural Numbers and Induction in Lean
19. Elementary Number Theory
20. Combinatorics
21. The Real Numbers
22. The Infinite
23. Axiomatic Foundations
24. Appendix: Natural Deduction Rules
PDF version
Lean Home
Quick search