Zulip Chat Archive

Stream: new members

Topic: New here


view this post on Zulip 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).

view this post on Zulip 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: May 17 2021 at 23:14 UTC