Meme about Lean?

Stream: new members

[Yijun Yuan]

I'm going to give a talk about a formalization project of mine. It seems like a good idea to include a meme pic about Lean/Mathlib on the final page of beamer. Is there any recommendation?

[Yijun Yuan]

Hmm, it seems that I posted this in the wrong channel by accident. I apologize.

[Anthony Wang]

I have a small but growing photo collection of signs that say "do not Lean" or "no leaning" such as #general > Lean in the wild @ 💬 (and there are many more online) which could be a good option.

[Anthony Wang]

Oh no, I just searched up "Lean meme" and all the results are about the drug lean which even has a KnowYourMeme page :disappointed:.

[Kevin Buzzard]

I would recommend going to the "lean anarchy" lean discord (https://discord.gg/bsMP4xf4) and asking about this. This isn't really on topic here.

[Notification Bot]

This topic was moved here from #Is there code for X? > Meme about Lean? by Riccardo Brasca.

[Martin Dvořák]

Yeah, we have tons of memes on our Discord. If, for any reason, you cannot access Discord, DM me here on Zulip and I will forward you some Lean memes.

[Kevin Buzzard]

Please keep further discussions about memes to the Discord.