A helpful page to connect to resources and the Lean community.
Another good source for learning about Lean
Download and install to be able to work locally
Mathlib Theorem Finders