A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
Home Page:https://adam.math.hhu.de
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool