From f3cdfc9dd1304e0edbd06e79e76d7ac38d9e6529 Mon Sep 17 00:00:00 2001
From: Kevin Buzzard <k.buzzard@imperial.ac.uk>
Date: Thu, 26 Oct 2023 21:03:06 +0100
Subject: [PATCH] start on Algorithm world

---
 Game/Levels/Algorithm.lean            | 12 ++++++++++++
 Game/Levels/Algorithm/all_levels.lean |  0
 2 files changed, 12 insertions(+)
 create mode 100644 Game/Levels/Algorithm.lean
 create mode 100644 Game/Levels/Algorithm/all_levels.lean

diff --git a/Game/Levels/Algorithm.lean b/Game/Levels/Algorithm.lean
new file mode 100644
index 0000000..5688f6b
--- /dev/null
+++ b/Game/Levels/Algorithm.lean
@@ -0,0 +1,12 @@
+import Game.Levels.Algorithm.L01
+
+World "Algorithm"
+Title "Algorithm World"
+
+Introduction
+"
+Proofs like $2+2=4$ and $a+b+c+d+e=e+d+c+b+a$ are very tedious to do by hand.
+In Algorithm World we learn how to get the computer to do them for us.
+
+Click on \"Start\" to proceed.
+"
diff --git a/Game/Levels/Algorithm/all_levels.lean b/Game/Levels/Algorithm/all_levels.lean
new file mode 100644
index 0000000..e69de29