[chongli]

I do want to learn theorem proving in Lean just for a hobby at some point. I haven't found a great resource for it though.

[Tainnor]

Have you seen: https://leanprover-community.github.io/mathematics_in_lean/

[chongli]

I hadn’t seen that. Thanks!