From bedb2ad5ec0099c3594fca7c69dd4a830735b5ae Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Fri, 8 Dec 2023 02:22:10 +0100 Subject: [PATCH] Update README.md --- README.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 5ee0d7f..31c4f17 100644 --- a/README.md +++ b/README.md @@ -12,15 +12,17 @@ Please follow the tutorial [Creating a Game](doc/create_game.md). In particular, ### Publishing a Game -We encourage anybody to have games hosted on our [Lean Game Server](https://adam.math.hhu.de) for anybody to play. For that you simply need to contact us with the link to your game repo. We are also happy to add work-in-progress games and games in any language. +We encourage anybody to have games hosted on our [Lean Game Server](https://adam.math.hhu.de) for anybody to play. + +You can simply load your game to this server yourself following [How to Publishing a Game](doc/publish_game.md). However, to be featured on the server's starting page, you will need to reach out to be added manually. For example, you can [contact Jon on Zulip](https://leanprover.zulipchat.com/#narrow/dm/385895-Jon-Eugster). Or [via Email](https://www.math.hhu.de/en/lehrstuehle-/-personen-/-ansprechpartner/innen/lehrstuehle-des-mathematischen-instituts/lehrstuhl-fuer-algebraische-geometrie/team/jon-eugster). ## Documentation -The documentation for the game engine itself is still missing, but there is [Creating a Game](doc/create_game.md) explaining the API to create a game. +The main documentation is [Creating a Game](doc/create_game.md) which explains the API to a user who wants to create a game. -Some documentation: +Some random documentation: - [NPM Scripts](doc/npm_scripts.md) - [Old documentation](doc/DOCUMENTATION.md) @@ -37,5 +39,5 @@ Providing the use access to a Lean instance running on the server is a severe se The project is based on ideas from the [Lean Game Maker](https://github.com/mpedramfar/Lean-game-maker) and the [Natural Number Game (NNG)](https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/) -of Kevin Buzzard and Mohammad Pedramfar. +by Kevin Buzzard and Mohammad Pedramfar. The project is based on Patrick Massot's prototype: [NNG4](https://github.com/PatrickMassot/NNG4).