leanprover-community/lean4game

Unlock things on "relaxed" rules

joneugster opened this issue · 0 comments

joneugster commented

Would be nice to be able to unlock things at will at relaxed mode. That would help playing random levels.