This is a deprecated version of the Natural Number game.

You will be redirected to the current Lean 4 version of the NNG in 15 seconds.

(To play the deprecated Lean 3 version of the NNG, click here.)