校对列表 #9
Description
- Introduction
- Dependent Type Theory
- Propositions and Proofs
- Quantifiers and Equality
- Tactics
- Interacting with Lean
- Inductive Types
- Induction and Recursion
- Structures and Records
- Type Classes #2
- The Conversion Tactic Mode
- Axioms and Computation #6
Metadata
Metadata
Assignees
Labels
No labels