From b28226f589ea515f26d14b1ce21cb997ede7d0f4 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Sun, 14 Apr 2024 00:08:34 +0900
Subject: [PATCH] add link to tactic-cheatsheet

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5d9b2d0..2c0463f 100644
--- a/README.md
+++ b/README.md
@@ -51,6 +51,8 @@ Leanの基礎的な使い方や命題論理について
 
 - [A mathlib overview](https://leanprover-community.github.io/mathlib-overview.html)では、Leanの数学ライブラリmathlibで扱われている数学を概観できます。
 
+- [タクティク逆引きリスト](https://lean-ja.github.io/tactic-cheatsheet/)は、Mathlibで使用できるタクティクがユースケースから逆引きできるようにまとめられたリストです。
+
 ## 開発者向け情報
 
-[mk-exercise](https://github.com/Seasawher/mk-exercise)というツールを用いて、Solutionディレクトリの内容からTutorialディレクトリの演習問題を自動的に生成しています。Solutionディレクトリに変更を加えても、それに合わせてTutorialディレクトリに変更を加える必要はありません。
\ No newline at end of file
+[mk-exercise](https://github.com/Seasawher/mk-exercise)というツールを用いて、Solutionディレクトリの内容からTutorialディレクトリの演習問題を自動的に生成しています。Solutionディレクトリに変更を加えても、それに合わせてTutorialディレクトリに変更を加える必要はありません。