Moderation team

"The moderation team handles moderation of comments and messages on GitHub (within the leanprover-community organisation) and Zulip. On Zulip, this includes creating new private or public channels, organising existing channels and moving messages to their proper topic. On both platforms, it entails hiding or deleting comments violating the code of conduct; users on Zulip can be suspended (temporary deactivation) or banned (permanently).

The moderation team has members from Mathlib, CSLib and the broader Lean community. There's an informal distinction between Mathlib and CSLib domains: a Mathlib moderator will not moderate the CSLib channel on Zulip or the cslib repository on GitHub (and vice versa, CSLib moderators don't moderate Mathlib repositories or the mathlib channel on Zulip). The current members are the following."

Members