This webpage is about Lean 3, which is effectively obsolete; the community has migrated to Lean 4.

Mathlib reviewers

The mathlib reviewer team helps the mathlib maintainers with the daily reviewing of PRs to mathlib. This team consists of experienced community members that have displayed quality in their contributions and reviews. During the review process of a PR, they leave comments and feedback. Once they deem a PR ready for merging, they place the PR on a queue for a final review and merge instruction by the mathlib maintainers.