Pages that link to "Lean theorem prover/Explainers/What the axioms are"
The following pages link to Lean theorem prover/Explainers/What the axioms are:
Displaying 14 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What a proof assistant does (← links)
- Lean theorem prover/Explainers/Propositions as types (← links)
- Lean theorem prover/Explainers/Why there is no type of all types (← links)
- Lean theorem prover/Explainers/Two kinds of equality (← links)
- Lean theorem prover/Explainers/Automation and its limits (← links)
- Lean theorem prover/Explainers/What has to be trusted (← links)
- Lean theorem prover/Foundations/Quotient types (← links)
- Lean theorem prover/Foundations/The three axioms (← links)
- Lean theorem prover/Foundations/Classical logic from choice (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)