Zulip Chat Archive

Stream: Zulip meta

Topic: logo in top left


Kevin Buzzard (Oct 05 2021 at 18:03):

I just noticed that the category theory Zulip seems to have a logo in the top left on the app:

logo.png

Can we have the LEAN logo up there?

Gabriel Ebner (Oct 05 2021 at 18:13):

We already have the Bourbaki dangerous bend logo.

Kevin Buzzard (Oct 05 2021 at 20:39):

As does the Coq Zulip

Rob Lewis (Oct 05 2021 at 20:51):

Kevin Buzzard said:

As does the Coq Zulip

Does it? image.png

Gabriel Ebner (Oct 05 2021 at 20:58):

Previous discussion in the secret channel: https://leanprover.zulipchat.com/#narrow/stream/180721-mathlib-maintainers/topic/lean.20logo.20on.20zulip

Kevin Buzzard (Oct 05 2021 at 20:58):

Oh lol I didn't notice that they were different!


Last updated: Dec 20 2023 at 11:08 UTC