Resources for leaning Lean

Stream: general

[jakub]

Hey, what are the best resources to learn Lean?

[Quang Dao]

This highly depends on what you're looking to use Lean for. But you should get started with reading this page.

[jakub]

Thank you, I'll take a look. I specifically want to use it to prove basic theorems (not pioneering new maths but rather as a student)

[Etienne Marion]

I would recommend #mil in this case

[jakub]

Alright thanks