leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
197 stars 35 forks source link

"solution" button/indicator light for next intended next step #239

Open joneugster opened 5 months ago

joneugster commented 5 months ago

"solution" button that automatically shows the intended next step

TentativeConvert commented 4 months ago

Alternative, similar suggestions:

(One student who played through Robo reported: “At some point, I made a habit of automatically opening every hidden hint that was offered, just to reassure myself I hadn’t gone completely off track. In hindsight, that was a pity, since in many cases I really did not need that hint.”)