Name		Name	Last commit message	Last commit date
.devcontainer		.devcontainer
.docker/gitpod		.docker/gitpod
.github/workflows		.github/workflows
.i18n		.i18n
.vscode		.vscode
Game		Game
.gitignore		.gitignore
.gitpod.yml		.gitpod.yml
Game.lean		Game.lean
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Game Skeleton

This is a template for creating a game with 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:

Creating a new game
- Updating an existing game
- Running a game locally

About

The standard template to create a lean game

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages