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

mark statement from last level #214

Closed joneugster closed 6 months ago

joneugster commented 7 months ago

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

joneugster commented 6 months ago

done.