From 9baabe570df582bed724e90c54ed07f0c678530a Mon Sep 17 00:00:00 2001 From: Kevin Buzzard Date: Sat, 28 Oct 2023 12:54:38 +0100 Subject: [PATCH] update comment about which worlds are here/coming. --- Game.lean | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Game.lean b/Game.lean index 7e28db2..7b206f7 100644 --- a/Game.lean +++ b/Game.lean @@ -39,9 +39,11 @@ 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. +Note: this is a new Lean 4 version of the game containing several +worlds which were not present in the old Lean 3 version. A new version +of Advanced Multiplication World is in preparation, and worlds +such as Prime Number World and more will be appearing during October and +November 2023. ## More