Zulip Chat Archive

Stream: new members

Topic: lean logos

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

Kevin Buzzard (Feb 23 2021 at 00:50):

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

Bhavik Mehta (Feb 23 2021 at 00:51):

leanlogo.png

Huỳnh Trần Khanh (Feb 23 2021 at 00:52):

oh neat what did you use to make this logo?

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

Bhavik Mehta (Feb 23 2021 at 00:52):

Painter and a wacom tablet

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: Dec 20 2023 at 11:08 UTC