{"id":13995867,"url":"https://github.com/leanprover-community/lean4game","last_synced_at":"2025-12-30T00:06:22.451Z","repository":{"id":97982722,"uuid":"552929471","full_name":"leanprover-community/lean4game","owner":"leanprover-community","description":"Server to host lean games.","archived":false,"fork":false,"pushed_at":"2024-10-21T08:02:10.000Z","size":33420,"stargazers_count":185,"open_issues_count":78,"forks_count":33,"subscribers_count":9,"default_branch":"main","last_synced_at":"2024-10-21T10:59:10.568Z","etag":null,"topics":["lean4","react"],"latest_commit_sha":null,"homepage":"https://adam.math.hhu.de","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover-community.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-10-17T12:56:13.000Z","updated_at":"2024-10-20T13:02:18.000Z","dependencies_parsed_at":"2023-10-15T22:14:04.152Z","dependency_job_id":"ec894a41-eda1-4ae3-abdb-1649178a1190","html_url":"https://github.com/leanprover-community/lean4game","commit_stats":null,"previous_names":[],"tags_count":10,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Flean4game","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Flean4game/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Flean4game/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Flean4game/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover-community","download_url":"https://codeload.github.com/leanprover-community/lean4game/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":227190444,"owners_count":17745265,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["lean4","react"],"created_at":"2024-08-09T14:03:37.806Z","updated_at":"2025-12-30T00:06:22.445Z","avatar_url":"https://github.com/leanprover-community.png","language":"TypeScript","funding_links":[],"categories":["TypeScript","Games"],"sub_categories":[],"readme":"# Lean 4 Game\n\nThis is the source code for a Lean game platform hosted at [adam.math.hhu.de](https://adam.math.hhu.de).\n\n## Creating a Game\n\nPlease follow the tutorial [Creating a Game](doc/create_game.md). In particular, the following steps might be of interest:\n\n* Step 6: [How to Run Games Locally](doc/running_locally.md)\n* Step 8: [How to Update an existing Game](doc/update_game.md)\n* Step 10: [How to Publish a Game](doc/publish_game.md)\n* [Troubleshooting](doc/troubleshoot.md)\n\n## Documentation\n\nThe documentation is very much work in progress but the linked documentation here\nshould be up-to-date:\n\n### Game creation API\n\n- [Creating a Game](doc/create_game.md): **the main document to consult**.\n- [More about Hints](doc/hints.md): describes the `Hint` and `Branch` tactic.\n\n### Frontend API\n\n* [How to Run Games Locally](doc/running_locally.md): play a game on your computer\n* [How to Update an existing Game](doc/update_game.md): update to a new lean version\n* [How to Publish a Game](doc/publish_game.md): load your game to adam.math.hhu.de for others to play\n\n### Backend\n\nnot fully written yet.\n\n* [Server](doc/DOCUMENTATION.md): describes the server part (i.e. the content of `server/` und `relay/`).\n\n## Contributing\n\nContributions to `lean4game` are always welcome!\n\n### Translation\n\nThe interface can be translated to various languages. For adding a translation, one needs to do the following:\n\n1. 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](https://www.npmjs.com/package/react-country-flag).\n2. 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`)\n3. Add all translations.\n4. Commit the changes you made to `config.json` together with the new `translation.json`.\n\nFor translating games, see [Translating a game](doc/translate.md).\n\n## Security\n\nProviding 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.\n\n## Contact\n\nIn case of technical problems with ```adam.math.hhu.de``` please contact us via \u003ca href=\"mailto:matvey.lorkish@hhu.de?subject=Lean4Game: \u003cYour%20Question\u003e\"\u003ee-mail\u003c/a\u003e.\n\n## Credits\n\nThe project has primarily been developed by Alexander Bentkamp and Jon Eugster.\n\nIt is based on ideas from the [Lean Game Maker](https://github.com/mpedramfar/Lean-game-maker) and the [Natural Number Game\n(NNG)](https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/)\nby Kevin Buzzard and Mohammad Pedramfar, and on Patrick Massot's prototype: [NNG4](https://github.com/PatrickMassot/NNG4).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover-community%2Flean4game","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover-community%2Flean4game","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover-community%2Flean4game/lists"}