Mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Overview
Lean 3's mathlib is a library for the Lean theorem prover that is no longer actively maintained. It is recommended to use mathlib4 for Lean 4 instead.
Features
- Lean theorem prover: Mathlib provides a library of formalized mathematics that can be used with the Lean theorem prover.
- Extensive coverage: Mathlib 3 contains a wide range of formalized mathematics, including algebra, calculus, number theory, and more.
- Community-driven: Mathlib is a collaborative project, with contributions from a community of mathematicians and computer scientists.
Summary
Mathlib 3 is a library for the Lean theorem prover that is no longer actively maintained. It is recommended to switch to mathlib4 for Lean 4, as it is the actively maintained version. Mathlib provides an extensive library of formalized mathematics and is a community-driven project. To install mathlib4, follow the provided installation guide.
