Mathematics in Lean
https://leanprover-community.github.io/mathematics_in_lean/