Welcome to mathlib's documentation page
This is the API reference for mathlib, the library of mathematics being developed in Lean. If you need information about installing Lean or mathlib, or getting started with a project, please visit our community website.
This documentation was automatically generated using doc-gen on the following source commits:
- mathlib 865184b48979b41ccba15dc5b39d7133db03b1fe
- Lean 4f9b974353ea684c98ec938f91f3a526218503ed
- doc-gen d63552cc1a741e7582465d249d956b6671ac201e
On the left menu, the "General" and "Additional documentation" sections provide links with extra information about mathlib and related topics from our community, respectively. The "Library" section contains dropdown/expandable subsections according to mathlib's tree structure.