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: Oct 13 2024 at 01:02 UTC