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