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
17 stars 11 forks source link

modify `ring` #2

Closed joneugster closed 6 months ago

joneugster commented 1 year ago

ring has been modified to not complain about ring_nf. Douple-check and remove ring_nf from the story.