GitHub/AlexKontorovich.RealAnalysisGame
1
0
Fork 0
mirror of https://github.com/AlexKontorovich/RealAnalysisGame.git synced 2026-07-04 18:42:24 +00:00
Code Issues Projects Releases Packages Wiki Activity
RealAnalysisGame https://adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame
255 commits 4 branches 0 tags 24 MiB
  • Lean 98.4%
  • Shell 1.3%
  • Dockerfile 0.3%
Find a file
Exact
Alex Kontorovich 930c38333b
 Merge pull request #119 from AlexKontorovich/AlexKontorovich-patch-2 
Update README.md
2026-05-18 19:11:22 -04: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 2026-05-18 19:11:06 -04:00
sofi.sh flatten project 2025-08-15 19:21:53 +02:00

README.md

Real Analysis, The Game

Note that this is v0.1. Currently in progress (in a separate repo) is v1.0. Please continue to post Issues here, so we make sure to address them in the next version. But we're not currently maintaining v0.1. Thank you!

This is a game for lean4game.

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