Official Lean Merch

Stream: general

[Gavin Zhao]

Should the Lean FRO start selling official Lean merch?

Although I could purchase custom shirts and stickers by myself, I'd also be very happy to buy some Lean hoodies and stickers while supporting Lean development.

[Asei Inoue]

I want to purchase Lean T-shirts.

[(deleted)]

I like a Lean spoon and a Lean tumbler.

[Asei Inoue]

I would be happy if there were an easy way to donate to Lean FRO, and even happier if there were merchandise available.

[William Sørensen]

I agree this would be very cool

[François G. Dorais]

Is Lean FRO a 501(c)(3)? I couldn't find it by name search on https://apps.irs.gov/app/eos/

It's feasible to create a nonprofit 501(c)(3) "Friends of Lean" to organize Lean community events and merch to fund "Friends of Lean" (but not Lean itself).

[Kyle Miller]

@François G. Dorais My understanding is that Lean FRO, LLC is not a 501(c)(3), but it's governed by Convergent Research, Inc., which is. I don't know anything about Lean merch plans, I'll leave that to others.

It'd be nice to have a place where people can get "motive is not type correct" shirts :-)

[Frederick Pu]

what about a no goals tshirt

[David Renshaw]

"it is often due to metavariables"

[Weiyi Wang]

"maximum number of heartbeats (200000) has been reached"
I love these out of context phrases

[Yaël Dillies]

I personally have a great sticker idea, but :shush:

[Violeta Hernández]

I will throw down big money for a Lean-branded coffee mug

[Anthony Wang]

Seems like there's a Lean mug available on https://store.typetheoryforall.com/products/lean-mug, but the profits go towards the Type Theory Forall podcast and not the Lean FRO.

[Ashley Blacquiere]

Hi folks - thanks for the great ideas. The Lean FRO has no near term plans to produce its own merchandise, but we have approved use of our logo in a few cases. Notably, the mugs on Type Theory Forall, and also a few items on this RedBubble store.