Pages that link to "Lean theorem prover/History/LCF and the tactic idea"
The following pages link to Lean theorem prover/History/LCF and the tactic idea:
Displaying 10 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Tactics (← links)
- Lean theorem prover/System/The tactic framework (← links)
- Lean theorem prover/History/Automath (← links)
- Lean theorem prover/History/The Calculus of Constructions (← links)
- Lean theorem prover/History/Lean 1 to Lean 3 (← links)
- Lean theorem prover/Chronology (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)