Pages that link to "Lean theorem prover/Explainers/Stating the right thing"
The following pages link to Lean theorem prover/Explainers/Stating the right thing:
Displaying 18 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/Types as specifications (← links)
- Lean theorem prover/Explainers/The small trusted core (← links)
- Lean theorem prover/Explainers/What has to be trusted (← links)
- Lean theorem prover/Explainers/Checking a proof again later (← links)
- Lean theorem prover/Explainers/Programs and proofs in one language (← links)
- Lean theorem prover/Explainers/A library of mathematics (← links)
- Lean theorem prover/Explainers/Lean and physics (← links)
- Lean theorem prover/System/Proof export and independent checkers (← links)
- Lean theorem prover/History/The Liquid Tensor Experiment (← links)
- Lean theorem prover/Applications/Research mathematics (← links)
- Lean theorem prover/Applications/The equational theories project (← links)
- Lean theorem prover/Applications/Machine learning and theorem proving (← links)
- Lean theorem prover/Applications/Physics in Lean (← links)
- Lean theorem prover/Applications/Principia Machina (← links)
- Lean theorem prover/Bibliography (← links)