book/TPiL/
1241 declarations, 64 contain sorry, 14 declared as axioms; 13 files
Files
- AxiomsComputation.lean 108 declarations
- Conv.lean 9 declarations
- DependentTypeTheory.lean 85 declarations
- Examples.lean 98 declarations
- InductionAndRecursion.lean 191 declarations
- InductiveTypes.lean 152 declarations
- InteractingWithLean.lean 84 declarations
- Intro.lean 0 declarations
- PropositionsAndProofs.lean 87 declarations
- QuantifiersEquality.lean 86 declarations
- StructuresAndRecords.lean 46 declarations
- Tactics.lean 147 declarations
- TypeClasses.lean 148 declarations