greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

reordering tactics now I can hide them

Browse Source
This commit is contained in:
Kevin Buzzard
2023-10-02 17:36:27 +01:00
parent cc92b455ce
commit 95df86b76b
5 changed files with 56 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Game.lean
View File

@@ -30,6 +30,10 @@ We'll do this by solving levels of a computer puzzle game called Lean.
To learn more about these puzzles, click on \"Tutorial World\".
Note: this is a preliminary new Lean 4 version of the game; new versions
of inequality and advanced addition/multiplication worlds are in preparation.
Other brand new worlds will also be appearing during October 2023.
## More
Open \"Game Info\" in the burger menu on the top right for resources,
@@ -37,7 +41,9 @@ links, and ways to interact with the Lean community.
"
Info "
##### Game version: 4.1 -- rewrite of tutorial, addition, multiplication and power world.
##### Game version: 4.1
#### Recent changes: rewrite of tutorial, addition, multiplication and power world.
## Progress saving