From 612ad00777d8175dc2ff063675d12b7dc9d26809 Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Wed, 3 Jul 2024 14:00:55 +0900
Subject: [PATCH] modify P46

---
 Src/Problem46.lean | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Src/Problem46.lean b/Src/Problem46.lean
index f76b2f2..0b99345 100644
--- a/Src/Problem46.lean
+++ b/Src/Problem46.lean
@@ -4,12 +4,16 @@
 
 
 def table (p : Bool → Bool → Bool) : List (List Bool) :=
+  -- sorry
   [
     [true, true, p true true],
     [true, false, p true false],
     [false, true, p false true],
     [false, false, p false false]
   ]
+  -- sorry
+
+-- The following codes are for test and you should not edit these.
 
 #guard table (fun a b => And a (Or a b)) ==
   [