Mathlib

Product

by Lean community

Mathlib is a community-maintained open-source mathematical library for the Lean theorem prover. It provides formalized mathematics across areas such as algebra, analysis, topology, and number theory, along with programming infrastructure and tactics for developing machine-checked proofs.