mmasdeu / topologygame

Learn Lean and topology

TOPOLOGY GAME

Learn topology and LEAN!

This is the source of the game. You can play it at https://mmasdeu.github.io/topologygame/

The test (in progress) version is located at https://mmasdeu.github.io/topologygame/test/ (use at your own risk!)