Administrators

Stream: Zulip meta

[Dean Young]

Hi, Lean folk. I was glad to join you all recently. I don't have a very clear picture of who maintains the Lean Zulip. Could anyone point me towards an admin?

[Notification Bot]

A message was moved here from #general > set is too transparent by Eric Wieser.

[Mario Carneiro]

You can see a list of Zulip "owners" and admins at https://leanprover.zulipchat.com/#organization/user-list-admin