Zulip Chat Archive

Stream: new members

Topic: After tutorials?


view this post on Zulip Eric Astor (Feb 16 2021 at 01:28):

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.)

view this post on Zulip Eric Astor (Feb 16 2021 at 01:30):

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

view this post on Zulip Bryan Gin-ge Chen (Feb 16 2021 at 01:32):

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.

view this post on Zulip Bryan Gin-ge Chen (Feb 16 2021 at 01:32):

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


Last updated: May 13 2021 at 04:21 UTC