Pages that link to "Lean theorem prover/Explainers/Induction, as the machine sees it"
The following pages link to Lean theorem prover/Explainers/Induction, as the machine sees it:
Displaying 12 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Building things from constructors (← links)
- Lean theorem prover/Explainers/Tactics (← links)
- Lean theorem prover/Explainers/Holes and goals (← links)
- Lean theorem prover/Explainers/When Lean says no (← links)
- Lean theorem prover/Explainers/Programs and proofs in one language (← links)
- Lean theorem prover/Foundations/Inductive types and recursors (← links)
- Lean theorem prover/Foundations/Structural and well-founded recursion (← links)
- Lean theorem prover/Applications/Teaching with Lean (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Bibliography (← links)