mathlib

github.comtool

Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.

from

Math

added

2026-10-10

likes

0

Math › Foundations and Logic > Formal Mathematics and Theorem Proving: “Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.”