Pages that link to "Lean theorem prover/Explainers/Holes and goals"

The following pages link to Lean theorem prover/Explainers/Holes and goals:

Displaying 11 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/What a proof assistant does (← links)
• Lean theorem prover/Explainers/Induction, as the machine sees it (← links)
• Lean theorem prover/Explainers/Tactics (← links)
• Lean theorem prover/Explainers/When Lean says no (← links)
• Lean theorem prover/System/Metavariables and unification (← links)
• Lean theorem prover/System/The tactic framework (← links)
• Lean theorem prover/Applications/Teaching with Lean (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Notation (← links)
• Lean theorem prover/Bibliography (← links)