long name

2023-09-01 20:10:13 +02:00
parent 1e51d8095d
commit be770f373f
1 changed files with 1 additions and 1 deletions
--- a/Game.lean
+++ b/Game.lean
@@ -15,7 +15,7 @@ import Game.Levels.Hard

 --import Game.Levels.Inequality

-Title "NNG"
+Title "Natural Number Game"
 Introduction
 "
 # Welcome to the Natural Number Game