Skip to content

Commit

Permalink
update game version
Browse files Browse the repository at this point in the history
  • Loading branch information
@kbuzzard
kbuzzard committed Oct 28, 2023
1 parent 9baabe5 commit f3fbe5b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Game.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,9 +52,9 @@ links, and ways to interact with the Lean community.
"

Info "
*Game version: 4.1*
*Game version: 4.2*
*Recent changes: rewrite of tutorial, addition, multiplication and power world.*
*Recent additions: Inequality world, algorithm world*
## Progress saving
Expand Down

0 comments on commit f3fbe5b

Please sign in to comment.