Lean[1] Zulip chat[2]

[1] https://leanprover-community.github.io/ [2] https://leanprover.zulipchat.com/