Stream: Miscellaneous

Topic: Logo for the Coq Zulip


view this post on Zulip Karl Palmskog (Aug 11 2022 at 22:24):

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