Pages that link to "Lean theorem prover/Explainers/Propositions as types"

The following pages link to Lean theorem prover/Explainers/Propositions as types:

Displaying 13 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Checking instead of convincing (← links)
• Lean theorem prover/Explainers/Types as specifications (← links)
• Lean theorem prover/Explainers/What the axioms are (← links)
• Lean theorem prover/Explainers/Tactics (← links)
• Lean theorem prover/Foundations/Terms, types and judgments (← links)
• Lean theorem prover/Foundations/Dependent function types (← links)
• Lean theorem prover/History/Automath (← links)
• Lean theorem prover/History/Martin-Löf type theory (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Notation (← links)
• Lean theorem prover/Sources (← links)
• Lean theorem prover/Bibliography (← links)