Update Src.lean

lean-ja · Mar 17, 2024 · 8d2223f · 8d2223f
1 parent ec6f7d1
commit 8d2223f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Src.lean b/Src.lean
@@ -1,3 +1,5 @@
 import Src.Problem1
 import Src.Problem2
+import Src.Problem3
+import Src.Problem4
 import Src.README