optional statement

2023-05-15 18:00:00 +02:00
parent 7797246471
commit b04341c0c4
101 changed files with 99 additions and 101 deletions
--- a/Game.lean
+++ b/Game.lean
@@ -11,7 +11,6 @@ import Game.Levels.AdvAddition
 import Game.Levels.AdvMultiplication
 --import Game.Levels.Inequality

-Game "NNG"
 Title "Natural Number Game"
 Introduction
 "