I noticed that in contrast to Zulip Chats like the Lean Zulip, we have no logo in this Zulip (upper left corner). How about using an adapted version of the Coq-community logo?
Last updated: Jan 29 2023 at 18:03 UTC