# References

1. [Mathematics in Lean by Jeremy Avigad and Patrick Massot](https://leanprover-community.github.io/mathematics_in_lean/mathematics_in_lean.pdf)
2. [The Mathlib 4 API docs](https://leanprover-community.github.io/mathlib4_docs/)
3. [The Lean Zulip Chat](https://leanprover.zulipchat.com/)