lean-ja へのリンクをリンク集にも用意する

Author: Seasawher

content/links.md

@@ -10,6 +10,7 @@ weight = 1
 * [Lean Community](https://leanprover-community.github.io/) Lean のコミュニティ．
 * [Lean Prover Zulip Chat](https://leanprover.zulipchat.com/) Lean について何でも質問できる公式のフォーラム．
 * [Lean 4 anarchy](https://discord.com/invite/WZ9bs9UCvx) Lean のディスコードサーバ．Zulip と違って，くだけた雰囲気です．
+* [lean-ja](https://discord.gg/p32ZfnVawh) 日本語コミュニティ lean-ja のディスコードサーバ.
 
 ## ライブラリやツール