Zulip Chat Archive

Stream: new members

Topic: Resources for learning Lean


view this post on Zulip L Lawliet (Jan 01 2021 at 07:33):

Johan Commelin said:

I use the same learning strategy (-;

Hi there, I'm new to LEAN, can you suggest me a few good resources to start

view this post on Zulip Bryan Gin-ge Chen (Jan 01 2021 at 07:35):

Have you seen the page on learning resources on the community webpage?

view this post on Zulip L Lawliet (Jan 02 2021 at 01:50):

Bryan Gin-ge Chen said:

Have you seen the page on learning resources on the community webpage?

Oh, thank you so much... Actually I'm quite interested in maths but got to know about Lean a few days back
I hope the resources link you sent even helps us in open source contribution if one wants to after developing the required skillset in future?

view this post on Zulip Bryan Gin-ge Chen (Jan 02 2021 at 04:28):

There’s another page on the website with information on how to contribute.

Welcome, by the way, and feel free to ask any other questions you might have here in Zulip!


Last updated: May 15 2021 at 23:13 UTC