Pages that link to "Lean theorem prover/Explainers/What has to be trusted"
The following pages link to Lean theorem prover/Explainers/What has to be trusted:
Displaying 16 items.
- Main Page (← links)
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What a proof assistant does (← links)
- Lean theorem prover/Explainers/Why there is no type of all types (← links)
- Lean theorem prover/Explainers/Computation inside proofs (← links)
- Lean theorem prover/Explainers/The small trusted core (← links)
- Lean theorem prover/Explainers/Programs and proofs in one language (← links)
- Lean theorem prover/Foundations/Consistency and the metatheory (← links)
- Lean theorem prover/History/LCF and the tactic idea (← links)
- Lean theorem prover/History/Lean since 2023 (← links)
- Lean theorem prover/Applications/The Fermat's Last Theorem project (← links)
- Lean theorem prover/Applications/Software verification (← links)
- Lean theorem prover/Applications/Machine learning and theorem proving (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Bibliography (← links)