VisualMelon/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
LeanApache-2.0
Watchers
No one’s watching this repository yet.
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
LeanApache-2.0
No one’s watching this repository yet.