Theorem Proving

• The official Zulip channel for Lean 4

Deep Learning

• Theoretical Machine Learning: A Handbook for Everyone (in Chinese)