Index
Theorem Proving in Lean 3 (outdated)
1. Introduction
2. Dependent Type Theory
3. Propositions and Proofs
4. Quantifiers and Equality
5. Tactics
6. Interacting with Lean
7. Inductive Types
8. Induction and Recursion
9. Structures and Records
10. Type Classes
11. Axioms and Computation
PDF version
Lean Home
Quick search