Real Analysis, The Game

This is a game for lean4game.

The documentation about how to use this are at the lean4game repository:

Name		Name	Last commit message	Last commit date
Latest commit History 253 Commits
.devcontainer		.devcontainer
.docker/gitpod		.docker/gitpod
.github/workflows		.github/workflows
.i18n		.i18n
.sofi-test-folders		.sofi-test-folders
.vscode		.vscode
Game		Game
Test		Test
images		images
.DS_Store		.DS_Store
.editorconfig		.editorconfig
.gitignore		.gitignore
.gitpod.yml		.gitpod.yml
.sofi-test.sh		.sofi-test.sh
Game.lean		Game.lean
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
sofi.sh		sofi.sh

Provide feedback