From 494800b5b1bf5e0738dd9e6775d7b48a4f3fd81f Mon Sep 17 00:00:00 2001 From: Seasawher Date: Wed, 8 Nov 2023 21:53:16 +0900 Subject: [PATCH] =?UTF-8?q?moogle=20=E8=BF=BD=E5=8A=A0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- content/links.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/content/links.md b/content/links.md index 29c49f1..8421db9 100644 --- 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 が実行できるプレイグラウンド．