Resources for learning Lean

Stream: new members

[L Lawliet]

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

[Bryan Gin-ge Chen]

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

[L Lawliet]

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?

[Bryan Gin-ge Chen]

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!