Comment by abdullahkhalids

I used Zulip last week to ask a question on Lean on their community.

I only sent like 3 messages, but it was awfully slow. Didn't come away with a good impression.