moogle 追加

lean-ja · Nov 8, 2023 · 494800b · 494800b
1 parent 6729c90
commit 494800b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/content/links.md b/content/links.md
@@ -13,7 +13,8 @@ weight = 1
 
 ## ライブラリやツール
 
-* [mathlib4](https://github.com/leanprover-community/mathlib4) Lean で大学の学部程度の数学を実装したライブラリ．
+* [Mathlib4](https://github.com/leanprover-community/mathlib4) Lean で大学の学部程度の数学を実装したライブラリ．
+* [Moogle](https://www.moogle.ai/) Mathlib4 などから定理や定義を検索できるツール．
 * [Lean4 VSCode 拡張機能](https://github.com/leanprover/vscode-lean4) Lean4 のための VSCode 拡張機能．
 * [Lean4 Web](https://live.lean-lang.org/) ブラウザ上で Lean が実行できるプレイグラウンド．