{"repo":"leanprover-community/lean4game","free":true,"listed":false,"github":"https://github.com/leanprover-community/lean4game","clone":"git clone https://github.com/leanprover-community/lean4game.git","description":"Server to host Lean games","language":"TypeScript","stars":539,"topics":["lean4","react"],"license":"GPL-3.0","category":"game-templates","readme_excerpt":"Lean 4 Game This is the source code for the Lean Game Server hosted at adam.math.hhu.de. Creating a Game 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 Documentation The documentation is very much work in progress but the links below should be up-to-date: Game creation API - Creating a Game: the main document to consult . - More about Hints: describes the Hint and Branch tactics. Frontend API 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 Backend Server: describes the server part (i.e. the content of server/ and relay/ ). Hosting How to host a lean4game instance yourself: how to set up your own Lean Game Server Contributing Contributions to lean4game are always welcome! Check out the Development Instructions Translation We welcome translations of the game interface and of the various games hosted on the Lean Game Server into different languages! For translating the interface , please refer to these instructions. For translating individual games , please contact the maintainers (see table below) and consult any game specific translation guidelines. Our generic guidlines may give a rough indication of the steps involved. We also have some guidelines for game maintain","default_branch":null,"files":null,"tree":[],"storefront":"/r/leanprover-community","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/leanprover-community/lean4game/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}