Pages that link to "Lean theorem prover/Explainers/The small trusted core"
The following pages link to Lean theorem prover/Explainers/The small trusted core:
Displaying 11 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What a proof assistant does (← links)
- Lean theorem prover/Explainers/Checking instead of convincing (← links)
- Lean theorem prover/Explainers/Tactics (← links)
- Lean theorem prover/Explainers/Computation inside proofs (← links)
- Lean theorem prover/Explainers/What has to be trusted (← links)
- Lean theorem prover/Explainers/Programs and proofs in one language (← links)
- Lean theorem prover/System/The Lean kernel (← links)
- Lean theorem prover/History/Automath (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Bibliography (← links)