Where to ask about lean3 and mathlib?

Stream: new members

[Siyuan Yan]

where do I ask newbie questions on Lean3 and mathlib? I'm a master's student in pure math at Cardiff University, UK, and I want to try to use lean on exercise problems in my coursework. I enjoyed kevin's natural number game a while back but mathlib's source code feels a bit overwhelming.

[Notification Bot]

A message was moved here from #general > Lean in the wild by Kyle Miller.

[Kyle Miller]

Hi @Siyuan Yan, you can ask right here in the #new members stream!