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

ext-Strategie für abstrakte Mengen #6

Open TentativeConvert opened 1 year ago

TentativeConvert commented 1 year ago

Bei abstrakten Mengen vermisse ich noch eine “ext”-Strategie, die Mengen-Aussagen direkt auf Logik zurückführt. In der spielinternen Dokumentation von Subset.antisymm_iff wird so etwas erwähnt, aber im Spiel kommt das nicht vor.