Shadowgraph
TrendingAbout
Sign in

AlexKontorovich/RealAnalysisGame

RealAnalysisGame

Lean

70

255 commits

updated May 22, 2026

adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame

See the code

README

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:

Contributors

AlexKontorovich

226 commits

joneugster

15 commits

oddgarden6465

2 commits

boisgera

2 commits

Similar repos

leanprover-community/NNG4

Natural Number Game

375

wahyudesu/GAME-TEBAK-KATA

5

ImperialCollegeLondon/natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README…

305

vihdzp/combinatorial-games

Combinatorial game library in Lean 4

110

argentquest/protocol

A deterministic 100-level browser precision game and community theme editor built with React and…

1

spytheman/v2048

A simple game of 2048, written in V.

24

Resistance-Labs-Tech/fossgamewithai

An experiment to build a highly fun game using AI tools.

0

racket/games

51

Languages

Lean

98.3%

Shell

1.4%

AlexKontorovich/RealAnalysisGame

RealAnalysisGame

Lean

70

255 commits

updated May 22, 2026

adam.math.hhu.de/#/g/AlexKontorovich/RealAnalysisGame

See the code

README

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:

Similar repos

leanprover-community/NNG4

Natural Number Game

375

wahyudesu/GAME-TEBAK-KATA

5

ImperialCollegeLondon/natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README…

305

vihdzp/combinatorial-games

Combinatorial game library in Lean 4

110

argentquest/protocol

A deterministic 100-level browser precision game and community theme editor built with React and…

1

spytheman/v2048

A simple game of 2048, written in V.

24

Resistance-Labs-Tech/fossgamewithai

An experiment to build a highly fun game using AI tools.

0

racket/games

51

Contributors

AlexKontorovich

226 commits

joneugster

15 commits

oddgarden6465

2 commits

boisgera

2 commits

Languages

Lean

98.3%

Shell

1.4%