Pages that link to "Lean theorem prover/System/Type classes and instance resolution"
The following pages link to Lean theorem prover/System/Type classes and instance resolution:
Displaying 10 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/A library of mathematics (← links)
- Lean theorem prover/Foundations/Dependent function types (← links)
- Lean theorem prover/System/Elaboration (← links)
- Lean theorem prover/System/Metavariables and unification (← links)
- Lean theorem prover/System/Decision procedures (← links)
- Lean theorem prover/System/Monads and do-notation (← links)
- Lean theorem prover/History/Mathlib and its community (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Bibliography (← links)