Pages that link to "Lean theorem prover/System/Metavariables and unification"
The following pages link to Lean theorem prover/System/Metavariables and unification:
Displaying 12 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Holes and goals (← links)
- Lean theorem prover/Explainers/When Lean says no (← links)
- Lean theorem prover/Foundations/Terms, types and judgments (← links)
- Lean theorem prover/System/Elaboration (← links)
- Lean theorem prover/System/The Lean kernel (← links)
- Lean theorem prover/System/The tactic framework (← links)
- Lean theorem prover/System/Metaprogramming in Lean (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)