Pages that link to "Lean theorem prover/Foundations/Structural and well-founded recursion"

The following pages link to Lean theorem prover/Foundations/Structural and well-founded recursion:

Displaying 10 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Functions that always finish (← links)
• Lean theorem prover/Explainers/Induction, as the machine sees it (← links)
• Lean theorem prover/Foundations/Inductive types and recursors (← links)
• Lean theorem prover/Foundations/Definitional 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/Bibliography (← links)