search

leanprover-community / lean4game

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

feat: inventory of cheat sheets/summaries in addition to tactics, definitions and theorems #246

Open TentativeConvert opened 4 months ago

TentativeConvert commented 4 months ago

If you're halfway through the game, leave it to rest and return to it after a week or two, it would be helpful to be able to read through a quick summary of what you're supposed to have learned so far before resuming with the next level.

TentativeConvert commented 4 months ago

(For now, we've abandoned this idea in favour of optional outro pages for worlds.)