From 925cd2795b1b4154117a7afc59d03782576d7548 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Tue, 18 Jun 2024 19:42:08 +0900
Subject: [PATCH] =?UTF-8?q?=E3=82=BF=E3=82=AF=E3=83=86=E3=82=A3=E3=82=AF?=
 =?UTF-8?q?=E3=83=AA=E3=82=B9=E3=83=88=E3=82=92=E6=94=B9=E5=90=8D=E3=81=99?=
 =?UTF-8?q?=E3=82=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 content/links.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/links.md b/content/links.md
index 420b365..f6d2ad0 100644
--- a/content/links.md
+++ b/content/links.md
@@ -34,4 +34,4 @@ weight = 1
 * [Theorem Proving in Lean 4 日本語訳](https://aconite-ac.github.io/theorem_proving_in_lean4_ja/) Theorem Proving in Lean 4 の有志による日本語訳です．
 * [Leanのインストール方法・elanとLakeの使い方](https://aconite-ac.github.io/how_to_install_lean/) Leanのインストール方法・elanとLakeの使い方をまとめた有志による資料．
 * [数学系のためのLean勉強会](https://haruhisa-enomoto.github.io/lean-math-workshop/) 2023/09/03 に開催された，数学ユーザに向けたLean言語の勉強会．資料が公開されています．
-* [Lean4 タクティク逆引きリスト](https://lean-ja.github.io/tactic-cheatsheet/) 主なタクティクを使用場面から逆引きできるようにまとめたリストです．
+* [Lean by Example](https://lean-ja.github.io/lean-by-example/) Lean 言語と，その主要なライブラリの使い方を豊富なコード例とともに解説した資料です．