1. Introduction
3. User Guide
4. 1. Getting Started
5. 1. 1.1. About Kind
   2. 1.2. Installation
   3. 1.3. Hello World!
   4. 1.4. Hello Kind!
7. Book
8. 2. Basics: Introduction
9. 1. 2.1. Enumerated Types
   2. 1. 2.1.1. Days of the Week
   3. 2.2. Booleans
   4. 2.3. Function Types
   5. 2.4. Modules
   6. 2.5. Numbers
   7. 2.6. Proof by Simplification
   8. 2.7. Proof by Application
   9. 2.8. Proof by Case Analysis
   10. 2.9. Proof by Rewriting
   11. 2.10. Equal.chain and Equal.mirror
   12. 2.11. More Exercises
10. 3. Induction: Proof by Induction
11. 1. 3.1. Exercises
    2. 3.2. More Exercises
12. 4. Data Structures
13. 1. 4.1. Lists of Numbers
    2. 4.2. Reasoning about Lists
    3. 4.3. Maybe
14. 5. Polymorphism
15. 1. 5.1. Functions as Data
    2. 5.2. Additional Exercises
16. 6. Logic in Kind
17. 1. 6.1. Logical Connectives
    2. 6.2. Falsehood and Negation
    3. 6.3. Truth, Equivalence, and Quantification
    4. 6.4. Programming with Propositions
    5. 6.5. Applying Theorems to Arguments
    6. 6.6. Kind vs Set Theory
    7. 6.7. Classical vs. Constructive Logic
18. 7. Inductively Defined Propositions
19. 1. 7.1. Using Evidence in Proofs
    2. 7.2. Inductive Relations
    3. 7.3. Case Study: Regular Expressions
    4. 7.4. Case Study: Improving Reflection
    5. 7.5. Additional Exercises
22. Contributors