To play the new Lean 4 version of the game, click here; to play the old deprecated Lean 3 version of the NNG, click here.
You will be redirected to the current Lean 4 version of the game in 15 seconds.