A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
16
stars
9
forks
source link
Remove pipes `<|` from any Statements and hints. #18
Closed
joneugster closed 4 months ago
we want to use parentheses instead!