Zulip Chat Archive

Stream: new members

Topic: lean logos


view this post on Zulip Huỳnh Trần Khanh (Feb 23 2021 at 00:49):

hey I want to promote lean in the competitive programming community, can you send me that colorful logo :lean: so that I can use in promotional materials? the original logo is so dull ngl

view this post on Zulip Kevin Buzzard (Feb 23 2021 at 00:50):

I think that it was someone on the discord who made that. @Bhavik Mehta ?

view this post on Zulip Bhavik Mehta (Feb 23 2021 at 00:51):

leanlogo.png

view this post on Zulip Huỳnh Trần Khanh (Feb 23 2021 at 00:52):

oh neat what did you use to make this logo?

view this post on Zulip Bhavik Mehta (Feb 23 2021 at 00:52):

I mostly made it as a quick thing because the original looks bad as a square discord emote

view this post on Zulip Bhavik Mehta (Feb 23 2021 at 00:52):

Painter and a wacom tablet

view this post on Zulip Bhavik Mehta (Feb 23 2021 at 01:20):

There's also https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Leaked.20Lean.204.20Logos/near/162196672


Last updated: May 08 2021 at 03:17 UTC