Pages that link to "Lean theorem prover/Explainers/Types as specifications"

The following pages link to Lean theorem prover/Explainers/Types as specifications:

Displaying 10 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Propositions as types (← links)
• Lean theorem prover/Explainers/Two kinds of equality (← links)
• Lean theorem prover/Explainers/When Lean says no (← links)
• Lean theorem prover/Foundations/Dependent function types (← links)
• Lean theorem prover/Applications/Software verification (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Notation (← links)
• Lean theorem prover/Sources (← links)
• Lean theorem prover/Bibliography (← links)