modify P46

lean-ja · Jul 3, 2024 · 612ad00 · 612ad00
1 parent 22a4b4c
commit 612ad00
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)) ==
   [