# GameSkeleton

**Repository Path**: lei_jin_peng/GameSkeleton

## Basic Information

- **Project Name**: GameSkeleton
- **Description**: No description available
- **Primary Language**: Shell
- **License**: MIT
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-04-29
- **Last Updated**: 2025-04-29

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Game Skeleton

This is a template for creating a game with [lean4game](https://github.com/leanprover-community/lean4game/). It contains a single Level plus the files needed for a local development setup.

The documentation about how to use this template are at the [lean4game repository](https://github.com/leanprover-community/lean4game/):

* [Creating a new game](https://github.com/leanprover-community/lean4game/blob/main/doc/create_game.md)
  * [Updating an existing game](https://github.com/leanprover-community/lean4game/blob/main/doc/update_game.md)
  * [Running a game locally](https://github.com/leanprover-community/lean4game/blob/main/doc/running_locally.md)