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: May 17 2021 at 23:14 UTC