After tutorials?

Stream: new members

[Eric Astor]

So... I've finished the tutorials, and started playing with a minor project or two. Any "beginners' projects" around/recommended? I'd like to start playing around with more applicable things as a way to get more used to how things are done!

(In case it shapes recommendations: I'm currently a programmer, previously a computability theorist with a reverse-math interest.)

[Eric Astor]

... I did just find the Lean maths challenges. May try some of those, but still would be nice to have some later recommendations.

[Bryan Gin-ge Chen]

Assuming you've exhausted the material on our community learning page, you might browse some of the other Lean projects or even the parts of mathlib that you find interesting.

[Bryan Gin-ge Chen]

There are some mini projects in the mathlib archive that might be interesting too.