This is the Set Theory Game. It uses the Lean4 Game Engine and it is hosted at adam.math.hhu.de.
There are multiple ways to run the game while developing it:
The full instructions are at Running games locally.
In particular, the recommended setup is to have docker installed on your computer
and then click on the pop-up "Reopen in Container" which is shown when
opening this project in VSCode.
You can then open localhost:3000 in a browser.
After making changes to the code, you need to run lake build in a terminal and
reload the web page inside the "Simple Browser".
You can work on it using Github codespaces (click "Code" and then "Codespaces" and then "create codespace on main"). It it should run the game locally in the background. You can open it for for example under "Ports" and clicking on "Open in Browser".
Note: You have to wait until npm started properly.
In particular, this is after a message like
[client] webpack 5.81.0 compiled successfully in 38119 ms appears in the terminal, which might take a good while.
As with devcontainers, you need to run lake build after changing any lean files and then reload the browser.
The full instructions are at Running games locally.
In particular, the recommended setup is to have docker installed on your computer
and then click on the pop-up "Reopen in Container" which is shown when
opening this project in VSCode.
The game is then accessible at localhost:3000/#/g/local/game.
You can work on this repository using Gitpod :
Note that gitpod is not setup to start the game in the background to play.
In order to create a new game, click "use this template" above to create your own game. That way there is a github action that can build a docker image from your main branch which can be used to add the game to the server at adam.math.hhu.de.
This project is licensed under the GNU General Public License v3.0 or later. It is free for anyone, including academics and educators, to use, study, modify, and redistribute. Under the GPL's copyleft terms, if you distribute a modified version of this game, you must also release your version's source code under the same GPL-3.0 license.
This repository was originally created from the hhu-adam/GameSkeleton template, which is MIT-licensed. Portions of the scaffolding (devcontainer, Docker, editor, and build configuration) originate from that template and remain subject to the MIT License in addition to the GPL-3.0 license above — see NOTICE for the required MIT attribution.