stickers/logo

Stream: mathlib4

[Kevin Buzzard]

I sometimes give out Lean laptop stickers at talks -- totally unofficial with MS logo. I think mathlib4 stickers would also be cool, but does mathlib4 have a logo?

[Jireh Loreaux]

I think this came up before and I somewhat tongue-in-cheek proposed this (appropriately stylized)
MAΘ
ΛIB

[Kyle Miller]

Here's from editing the HTML to the mathlib3 docs, adding a "4" and Jireh's logo:

image.png

I'm not so sure of the logo as a logo, but for limited runs of stickers it seems fun.

[Kyle Miller]

Or there could be stickers commemorating the porting effort:

image.png

[Eric Wieser]

On the subject of the porting effort, this is the icon being used by port-status: https://raw.githubusercontent.com/leanprover-community/mathlib-port-status/main/static/favicon.ico

[Kyle Miller]

It's busy, but here's what it looks like with both the 3 and the 4 in there with the porting icon's colors.

cons.png