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