Welcome to the BerLean workshop repository!
For a full installation of Lean, follow the instructions in Full_Installation in Installation_Instructions.
To use Lean without installation, follow the instructions in Online_Options in Installation_Instructions.
The natural numbers game is available at : https://adam.math.hhu.de/#/g/leanprover-community/nng4