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 10 forks source link

Inequality 3 crashes #7

Closed globin closed 9 months ago

globin commented 10 months ago

Server process for file:///Inequality/3 crashed, likely due to a stack overflow or a bug.

https://adam.math.hhu.de/#/g/hhu-adam/Robo/world/Inequality/level/3

Input:

linarith
joneugster commented 10 months ago

I can reproduce that. I was going to update this game over the next days to the newest lean4game version. Hopefully the issue comes indeed from some outdated dependency

joneugster commented 9 months ago

Works again