This is the source code for the Lean Game Server hosted at adam.math.hhu.de.

Please follow the tutorial Creating a Game. In particular, the following steps may be of interest:

• Step 6: How to Run Games Locally
• Step 8: How to Update an existing Game
• Step 10: How to Publish a Game
• Troubleshooting

The documentation is very much work in progress but the links below should be up-to-date:

• Creating a Game: the main document to consult.
• More about Hints: describes the Hint and Branch tactics.

• How to Run Games Locally: play a game on your computer
• How to Update an existing Game: update to a new lean version
• How to Publish a Game: load your game to adam.math.hhu.de for others to play

• Server: describes the server part (i.e. the content of server/ and relay/).

• How to host a lean4game instance yourself: how to set up your own Lean Game Server

Contributions to lean4game are always welcome!

The interface can be translated to various languages. For adding a translation, one needs to do the following:

1. In client/src/config.json, add your new language. The "iso" key is the ISO language code, i.e. it should be accepted by "i18next" and "GNU gettext"; the "flag" key is once accepted by react-country-flag.
2. Run npm run translate. This should create a new file client/public/locales/{language}/translation.json. (Alternatively, you can copy-paste client/public/locales/en/translation.json.)
3. Add all translations.
4. Commit the changes you made to config.json together with the new translation.json.

For translating games, see Translating a game.

Providing the use access to a Lean instance running on the server is a severe security risk. That is why we start the Lean server with bubblewrap.

In case of technical problems with adam.math.hhu.de please contact us via e-mail.

The project has primarily been developed by Alexander Bentkamp and Jon Eugster.

It is based on ideas from the Lean Game Maker and the Natural Number Game (NNG) by Kevin Buzzard and Mohammad Pedramfar, and on Patrick Massot's prototype: NNG4.