From 992304dab52ad154f13f80e7894d8611ede99d8d Mon Sep 17 00:00:00 2001 From: Seasawher Date: Fri, 27 Sep 2024 03:05:34 +0900 Subject: [PATCH] =?UTF-8?q?Lean=E3=81=AE=E5=85=AC=E5=BC=8F=E3=83=96?= =?UTF-8?q?=E3=83=AD=E3=82=B0=E3=82=92=E3=83=AA=E3=83=B3=E3=82=AF=E9=9B=86?= =?UTF-8?q?=E3=81=AB=E8=BF=BD=E5=8A=A0=E3=81=99=E3=82=8B=20Fixes=20#745?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/links.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/links.md b/src/links.md index 36722b63..8a858a95 100644 --- a/src/links.md +++ b/src/links.md @@ -9,6 +9,11 @@ * [Lean Forward](https://lean-forward.github.io/) 数学への Lean の応用を推進するコミュニティ。 * [lean-ja](https://discord.gg/p32ZfnVawh) この資料を作っている lean-ja のディスコードサーバです。 +## 📰 ブログ + +* [Lean Blog](https://lean-lang.org/blog/) Lean の公式ブログ。各リリースにおける新機能が説明されていたり、ロードマップについて書かれていたりします。 +* [Lean community blog](https://leanprover-community.github.io/blog/) Lean コミュニティが運営するブログ。Lean での数学の形式化プロジェクトに関する話題が多いです。 + ## 🧰 ライブラリやツール * [Mathlib4](https://github.com/leanprover-community/mathlib4) Lean で大学の学部程度の数学を実装したライブラリ。