I understood math much better after following the Software Foundations tutorials: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.up

I understood math much better after following the Software Foundations tutorials: https://softwarefoundations.cis.upenn.edu/ 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://arxiv.org/pdf/1910.09336.pdf https://github.com/leanprover-community/mathlib https://github.com/leanprover-community/mathlib