Pages that link to "Lean theorem prover/Foundations/Consistency and the metatheory"
The following pages link to Lean theorem prover/Foundations/Consistency and the metatheory:
Displaying 10 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What has to be trusted (← links)
- Lean theorem prover/Foundations/Universes and Prop (← links)
- Lean theorem prover/Foundations/The three axioms (← links)
- Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination (← links)
- Lean theorem prover/System/The Lean kernel (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)