hhu-adam / 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 🇩🇪
☆17Updated last week

Related projects ⓘ

Alternatives and complementary repositories for Robo