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 πŸ‡©πŸ‡ͺ
β˜†20Updated 2 weeks ago

Alternatives and similar repositories for Robo:

Users that are interested in Robo are comparing it to the libraries listed below