Pages that link to "Lean theorem prover/Explainers/A library of mathematics"

The following pages link to Lean theorem prover/Explainers/A library of mathematics:

Displaying 9 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Stating the right thing (← links)
• Lean theorem prover/Explainers/Programs and proofs in one language (← links)
• Lean theorem prover/Explainers/Lean and physics (← links)
• Lean theorem prover/System/Type classes and instance resolution (← links)
• Lean theorem prover/System/Lake and Lean projects (← links)
• Lean theorem prover/History/Mathlib and its community (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)