A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German.
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German π©πͺ
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German.
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German π©πͺ
Apache License 2.0