From ff9f39d1e82227c0ee5a1b2fed77e2667ef29b31 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Wed, 26 Jun 2024 15:51:56 +0900
Subject: [PATCH] =?UTF-8?q?package=20=E5=90=8D=E3=81=8C=20Tactic=20Cheatsh?=
 =?UTF-8?q?eet=20=E3=81=AE=E3=81=BE=E3=81=BE=E3=81=A0=E3=81=A3=E3=81=9F?=
 =?UTF-8?q?=E3=81=AE=E3=82=92=E4=BF=AE=E6=AD=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index f033524a..28532dee 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,7 +1,7 @@
 import Lake
 open Lake DSL
 
-package «Tactic Cheatsheet» where
+package «Lean by Example» where
   leanOptions := #[
     ⟨`autoImplicit, false⟩,
     ⟨`relaxedAutoImplicit, false⟩