Zulip Chat Archive

Stream: new members

Topic: Intro V.T.


Victor Tsynkov (Jun 16 2020 at 14:54):

Hello everyone from an IT developer who got started with Lean recently. No previous experience with functional programming. Read through manual up to chapter 6, went through almost all the natural numbers game and the first two files in the tutorial. I'm sure I will have a lot of questions. Is it ok to post them here? Zulip is new for me also but seems very similar to Slack.

Johan Commelin (Jun 16 2020 at 14:55):

Yup, lots of questions welcome. Please start a new thread for every new question.


Last updated: Dec 20 2023 at 11:08 UTC