I understood math much better after following the Software Foundations tutorials:

https://softwarefoundations.cis.upenn.edu/

Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:

https://arxiv.org/pdf/1910.09336.pdf

https://github.com/leanprover-community/mathlib