Merge pull request #217 from lean-ja/Seasawher/issue208

リンク集に Lean Forward を追加する

src/links.md

@@ -6,6 +6,7 @@
 * [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 Forward](https://lean-forward.github.io/) 数学への Lean の応用を推進するコミュニティ．
 * [lean-ja](https://discord.gg/p32ZfnVawh) この資料を作っている lean-ja のディスコードサーバです.
 
 ## ライブラリやツール