Zulip Chat Archive

Stream: Zulip meta

Topic: Administrators

Dean Young (Sep 10 2022 at 21:30):

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 (Sep 10 2022 at 21:36):

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

Mario Carneiro (Sep 10 2022 at 22:11):

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

Last updated: Dec 20 2023 at 11:08 UTC