GitHub/AlexKontorovich.RealAnalysisGame
1
0
Fork 0
mirror of https://github.com/AlexKontorovich/RealAnalysisGame.git synced 2026-03-07 00:44:45 +00:00
Code Issues Projects Releases Packages Wiki Activity
RealAnalysisGame https://adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame
253 commits 3 branches 0 tags 24 MiB
Find a file
Exact
Alex Kontorovich 4a4ace8020
 Merge pull request #106 from ovo-Tim/port_to_main 
Port to leanprover/lean4:v4.26.0
2026-02-13 12:31:32 -05:00
.devcontainer flatten project 2025-08-15 19:21:53 +02:00
.docker/gitpod flatten project 2025-08-15 19:21:53 +02:00
.github/workflows license 2025-08-16 13:20:54 +02:00
.i18n Delete .i18n/en/Game.pot 2026-02-13 12:17:24 -05:00
.sofi-test-folders flatten project 2025-08-15 19:21:53 +02:00
.vscode flatten project 2025-08-15 19:21:53 +02:00
Game feat: port to leanprover/lean4:v4.26.0 2026-02-10 23:26:05 +08:00
images cover 2025-12-12 16:50:12 -05:00
Test add missing file 2025-09-06 11:26:45 +02:00
.DS_Store changes 2025-08-14 01:58:45 -04:00
.editorconfig flatten project 2025-08-15 19:21:53 +02:00
.gitignore flatten project 2025-08-15 19:21:53 +02:00
.gitpod.yml flatten project 2025-08-15 19:21:53 +02:00
.sofi-test.sh flatten project 2025-08-15 19:21:53 +02:00
Game.lean cover image 2025-12-14 10:20:22 -05:00
lake-manifest.json feat: port to leanprover/lean4:v4.26.0 2026-02-10 23:26:05 +08:00
lakefile.lean feat: port to leanprover/lean4:v4.26.0 2026-02-10 23:26:05 +08:00
lean-toolchain feat: port to leanprover/lean4:v4.26.0 2026-02-10 23:26:05 +08:00
LICENSE license 2025-08-16 13:20:54 +02:00
README.md Update README.md 2025-08-16 09:03:46 -04:00
sofi.sh flatten project 2025-08-15 19:21:53 +02:00

README.md

Real Analysis, The Game

This is a game for lean4game.

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