LEAN Topology Game is a programming game, created by the Barcelona LEAN Seminar (conducted by Dr Marc Masdeu), that you can use to learn topology and LEAN code from zero without instaling any program.

For the time being, the game is still in construction, but you can play the games we have already created here and, if you want to see the code, you can see the GitHub repository here.