Learning using Lean

Stream: new members

[zceejkr]

Hello everyone.
I am thinking about using the Lean ecosystem (MathLib, CSLib, PhysLean) to learn some of university level Maths/CS/Physics. It seems to me to be a great fit in theory, because I have a background in software, and I think the graph like structure of these libraries has an advantage over the liner presentation you usually find in textbooks. However outside some of the books that cover the basics, I could not find much exercise material. Is there any exercise material that covers more advanced topics in MathLib for example? Maybe even a tool that auto generates them from the sources?

[Chris Bailey]

I think Mathematics in Lean 4 is very good: https://avigad.github.io/mathematics_in_lean/index.html