start on Algorithm world

2023-10-26 21:03:06 +01:00
parent 99e1017361
commit f3cdfc9dd1
2 changed files with 12 additions and 0 deletions
--- a/Game/Levels/Algorithm.lean
+++ 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.
+"
--- a/Game/Levels/Algorithm/all_levels.lean
+++ b/Game/Levels/Algorithm/all_levels.lean