8b43aed596
|
3 years ago | |
|---|---|---|
| .github/workflows | 3 years ago | |
| .vscode | 4 years ago | |
| client | 3 years ago | |
| doc | 3 years ago | |
| server | 3 years ago | |
| .gitignore | 3 years ago | |
| LICENSE | 3 years ago | |
| NOTES.md | 3 years ago | |
| NOTES_SUBDOMAIN.md | 4 years ago | |
| README.md | 3 years ago | |
| ecosystem.config.cjs | 3 years ago | |
| env.d.ts | 3 years ago | |
| index.html | 3 years ago | |
| package-lock.json | 3 years ago | |
| package.json | 3 years ago | |
| tsconfig.json | 3 years ago | |
| vite.config.ts | 3 years ago | |
README.md
Lean 4 Game
This is the source code for a Lean 4 game platform hosted at adam.math.hhu.de.
Creating a Game
Please follow the tutorial Creating a Game. In particular, the following steps might be of interest:
- Step 5: How to Run Games Locally
- Step 7: How to Update an existing Game
- Step 8: How to Publishing a Game
Publishing a Game
We encourage anybody to have games hosted on our Lean Game Server 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.
For example, you can contact Jon on Zulip. Or via Email.
Documentation
The documentation for the game engine itself is still missing, but there is Creating a Game explaining the API to create a game.
Some documentation:
Contributing
Contributions to lean4game are always welcome!
Security
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.
Credits
The project is based on ideas from the Lean Game Maker and the Natural Number Game (NNG) of Kevin Buzzard and Mohammad Pedramfar. The project is based on Patrick Massot's prototype: NNG4.