Pages that link to "Lean theorem prover/Explainers/Computation inside proofs"
The following pages link to Lean theorem prover/Explainers/Computation inside proofs:
Displaying 9 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Functions that always finish (← links)
- Lean theorem prover/Explainers/Tactics (← links)
- Lean theorem prover/Explainers/Automation and its limits (← links)
- Lean theorem prover/Explainers/When Lean says no (← links)
- Lean theorem prover/Explainers/The small trusted core (← links)
- Lean theorem prover/Foundations/Definitional equality (← links)
- Lean theorem prover/System/Decision procedures (← links)
- Lean theorem prover/Bibliography (← links)