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

Merge branch 'main' into level-rewrite

Browse Source
This commit is contained in:
Kevin Buzzard
2023-10-11 17:58:40 +01:00
parent a01eb1bd00 dc7c7d451b
commit bf013af673
12 changed files with 157 additions and 77 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Game.lean
View File

@@ -38,6 +38,10 @@ those who read the help texts like this one.
To start, 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,
@@ -45,7 +49,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