leanprover-community/lean4game

mark statement from last level

joneugster opened this issue · 1 comments

joneugster commented

mark statement from last level with a color (not yellow)

joneugster commented

done.