Pages that link to "Lean theorem prover/Foundations/Quotient types"
The following pages link to Lean theorem prover/Foundations/Quotient types:
Displaying 10 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What the axioms are (← links)
- Lean theorem prover/Foundations/Dependent function types (← links)
- Lean theorem prover/Foundations/Definitional equality (← links)
- Lean theorem prover/Foundations/Propositional equality (← links)
- Lean theorem prover/Foundations/The three axioms (← 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)