Pages that link to "Lean theorem prover/Foundations/Dependent function types"

The following pages link to Lean theorem prover/Foundations/Dependent function types:

Displaying 7 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Propositions as types (← links)
• Lean theorem prover/Explainers/Types as specifications (← links)
• Lean theorem prover/Foundations/Terms, types and judgments (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Notation (← links)
• Lean theorem prover/Bibliography (← links)