Where to post questions about Lean4?

Stream: new members

[Mika]

Hi, I'm Mika and I want to learn more about Lean4. Since the manual of the language seems to not cover every aspect of the language yet, I wanted to ask where is a good place to ask questions about doing something specifically in Lean4 in this Zulip-Chat.

[Eric Rodriguez]

there is a #lean4 channel

[Mika]

Okidoki, thanks :)