link 集更新

Moogle が重複していた

content/links.md

@@ -14,7 +14,6 @@ weight = 1
 ## ライブラリやツール
 
 * [Mathlib4](https://github.com/leanprover-community/mathlib4) Lean で大学の学部程度の数学を実装したライブラリ．
-* [Moogle](https://www.moogle.ai/) Mathlib4 などから定理や定義を検索できるツール．
 * [Lean4 VSCode 拡張機能](https://github.com/leanprover/vscode-lean4) Lean4 のための VSCode 拡張機能．
 * [Loogle](https://loogle.lean-lang.org/) Mathlib の検索ツール．
 * [Moogle](https://www.moogle.ai/) 自然言語で Mathlib から定理や定義が検索できるツール．