Game Server

This repo contains the part of https://github.com/hhu-adam/leangame which needs to be required by the Lean project defining a game.

See https://github.com/hhu-adam/GameSkeleton for a template on how to use this.

Contribute

This repo is created as a subtree of https://github.com/hhu-adam/leangame.

Any issues, PRs and other changes should be made to the parent repo.