Pages that link to "Lean theorem prover/System/The tactic framework"

The following pages link to Lean theorem prover/System/The tactic framework:

Displaying 12 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Tactics (← links)
• Lean theorem prover/Explainers/Holes and goals (← links)
• Lean theorem prover/System/Metavariables and unification (← links)
• Lean theorem prover/System/Type classes and instance resolution (← links)
• Lean theorem prover/System/Decision procedures (← links)
• Lean theorem prover/System/Syntax extension and hygienic macros (← links)
• Lean theorem prover/System/Metaprogramming in Lean (← links)
• Lean theorem prover/History/LCF and the tactic idea (← links)
• Lean theorem prover/History/Lean 4 (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)