Hi to the lean community.

Stream: new members

[Shreeansh Hota]

Hi guys, I am a math major absolutely new to lean here. Just came here to say hi.

By the way, can someone tell me if it is a good time to start learning lean. I understand that this question is not very well asked, but what I mean to ask is what are some good projects to work on in lean? Like where can genuinely contribute?

[Snir Broshi]

Shreeansh Hota said:

can someone tell me if it is a good time to start learning lean

A great time!

Shreeansh Hota said:

what are some good projects to work on in lean? Like where can genuinely contribute?

What fields are you interested in? There are many places that need contribution.
It's worth noting that working on your own projects (sometimes reimplementing stuff that's already in Mathlib) is also a good way to start.