It's a me

Stream: new members

[Tanner Swett]

Hey everyone! I just joined the chat. Is there any kind of rules or intro page? (Also, is there any way to view the full stream description on the mobile site? The only part of it I can see is "For welcoming and onboarding n..."

[Tanner Swett]

Figured out how to view the stream description: open sidebar, tap triple-dot icon, tap "Stream settings," go to the General tab.

[Riccardo Brasca]

Welcome! There is nothing specific, but if you want to say why you got interested in Lean please feel free to do so! And don't hesitate to ask questions!

[Tanner Swett]

Thank you! I'm an amateur mathematician and I'm interested in type theory, category theory, and the like. One of the things that made Lean sound interesting was the fact that you can do metaprogramming in the same language as the ground-level stuff.