Zulip Chat Archive

Stream: new members

Topic: New here

Chris M (Apr 10 2020 at 04:12):

I just found out about the Leanprover Zulip chat. I have a bit of experience with the Lean prover, going through the official "theorem proving with Lean" tutorial. I have some basic questions about how to formalize math in Lean, and I'm wondering where I should ask them: Should I create a new topic for a question? Should I do so in the "new members" stream? (I have not used Zulip before, and I don't know the best practices).

Bryan Gin-ge Chen (Apr 10 2020 at 04:14):

Welcome! Yes, feel free to create new topics for your questions in the "new members" stream.

Last updated: Dec 20 2023 at 11:08 UTC