Stream: Miscellaneous

Topic: Logo for the Coq 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