社区团队#

管理团队负责监督精益社区组织的活动，尤其是mathlib项目。它负责确保mathlib项目继续反映精益/mathlib-社区的总体观点和利益。

mathlib维护人员有权批准mathlib.的更改和添加。该团队负责mathlib的全局设计，旨在保持库的一致性并保持其各部分的良好集成。

mathlib评审团队帮助mathlibe维护人员对PR进行日常评审。该团队由经验丰富的社区成员组成，他们在贡献和评论中表现出了高质量。

负责Azure、bors管理、持续集成虚拟机根访问、GitHub对精益用户社区各种项目的操作。

该团队处理事件报告并维护社区标准。

网站/博客团队负责保持社区网站运行的技术基础设施。这还包括社区博客和mathlib的自动生成文档。