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: Jun 10 2023 at 06:31 UTC