Pages that link to "Lean theorem prover/Foundations/Inductive types and recursors"
The following pages link to Lean theorem prover/Foundations/Inductive types and recursors:
Displaying 14 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Types as specifications (← links)
- Lean theorem prover/Explainers/Building things from constructors (← links)
- Lean theorem prover/Explainers/Induction, as the machine sees it (← links)
- Lean theorem prover/Foundations/Terms, types and judgments (← links)
- Lean theorem prover/Foundations/Universes and Prop (← links)
- Lean theorem prover/Foundations/Definitional equality (← links)
- Lean theorem prover/Foundations/Propositional equality (← links)
- Lean theorem prover/System/The Lean kernel (← links)
- Lean theorem prover/History/The Calculus of Constructions (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)