Hi everyone 👋

Stream: lean4

[Ikram Ul Haq]

I'm new here. I'm interested to learn LEAN Language. From where should I start. Anyone please guide. I'm basically from Mathematics background.

[Chris Lovett]

Well let's get you setup with VS Code and a working version of Lean 4, see this video and the quick tour of the main editor features. This will make things more fun for you. Then there's the beginning of a book and a more in depth book on theorem proving...

[Kevin Buzzard]

If you don't know whether to start with lean 3 or lean 4 but you want to do mathematics then right now you might want to use lean 3 because that's the one with a big maths library. The community website leanprover-community.github.io is the place to start there.. Right now we're in a transition period with things being ported from lean 3 to lean 4

[Ikram Ul Haq]

Thanks :+1: