Theorem Proving in Lean

Avigad, Jeremy.

Lean

• Chapter 2: Dependent Type Theory
• Chapter 3: Propositions and Proofs
• Chapter 4: Quantifiers and Equality
• Chapter 5: Tactics
• Chapter 7: Inductive Types
• Chapter 8: Induction and Recursion