"World" at the top of each page should read "Planet" in this game!

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 🇩🇪

https://adam.math.hhu.de

Apache License 2.0

16 stars 9 forks source link

Closed TentativeConvert closed 1 month ago

joneugster commented 2 months ago

Hab den issue mal zu lean4game kopiert.

TentativeConvert commented 1 month ago

(fixed on dev)