Pages that link to "Lean theorem prover/Explainers/Automation and its limits"
The following pages link to Lean theorem prover/Explainers/Automation and its limits:
Displaying 14 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What a proof assistant does (← links)
- Lean theorem prover/Explainers/Functions that always finish (← links)
- Lean theorem prover/Explainers/Induction, as the machine sees it (← links)
- Lean theorem prover/Explainers/Tactics (← links)
- Lean theorem prover/Explainers/Holes and goals (← links)
- Lean theorem prover/Explainers/When Lean says no (← links)
- Lean theorem prover/System/Decision procedures (← links)
- Lean theorem prover/History/Lean since 2023 (← links)
- Lean theorem prover/Applications/The equational theories project (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)