Pages that link to "Lean theorem prover/Foundations/The three axioms"
The following pages link to Lean theorem prover/Foundations/The three axioms:
Displaying 13 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What the axioms are (← links)
- Lean theorem prover/Foundations/Propositional equality (← links)
- Lean theorem prover/Foundations/Quotient types (← links)
- Lean theorem prover/Foundations/Classical logic from choice (← links)
- Lean theorem prover/Foundations/Consistency and the metatheory (← links)
- Lean theorem prover/System/The Lean kernel (← links)
- Lean theorem prover/System/Decision procedures (← links)
- Lean theorem prover/System/Proof export and independent checkers (← links)
- Lean theorem prover/History/Lean since 2023 (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Bibliography (← links)