Mathlib Manual
This document has been last updated at 2025-07-14 11:03 (+0000) using Lean 4.21.0
and Mathlib commit 308445d.
Other resources:
-
Mathlib Documentation: automatically generated collection of all declarations from Mathlib.
-
The Lean Language Reference contains detailed information about Lean Code.
If you would like to contribute content, please create a PR using the two github links at the bottom left of this page!