Pages that link to "Lean theorem prover/Explainers/Tactics"

The following pages link to Lean theorem prover/Explainers/Tactics:

Displaying 9 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/What a proof assistant does (← links)
• Lean theorem prover/Explainers/Two kinds of equality (← links)
• Lean theorem prover/Explainers/Induction, as the machine sees it (← links)
• Lean theorem prover/System/The tactic framework (← links)
• Lean theorem prover/System/Metaprogramming in Lean (← links)
• Lean theorem prover/History/LCF and the tactic idea (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)