3 ms·

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 1y ago
  Have you seen: https://leanprover-community.github.io/mathematics_in_lean/ https://leanprover-community.github.io/mathematics_in_lean/
  • chongli 1y ago
    I hadn’t seen that. Thanks!