issues
search
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
Tippfehler Korrigieren
#33
Closed
bernborgess
closed
3 months ago
bernborgess
commented
3 months ago
Tippfehler in Introduction
Problem mit
<
falsch geschrieben
<
falsch geschrieben