This is a game for lean4game.
The documentation about how to use this are at the lean4game repository:
AlexKontorovich/RealAnalysisGame
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a game for lean4game.
The documentation about how to use this are at the lean4game repository:
