Real number game

Stream: new members

[Christian Kolker]

Is there any way to gain the real number game? Perhaps a video tutorial that someone can link me to gain an instance to the Real number game?

[Alex J. Best]

You should be able to install the project https://github.com/ImperialCollegeLondon/real-number-game like any other lean prooject (such as tutorials) using leanproject get https://github.com/ImperialCollegeLondon/real-number-game and then play it locally

[Kevin Buzzard]

I'm not sure that game ever got past the "vague plan" stage.