search

leanprover-community / lean4game

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

wip client modifications #118

Closed joneugster closed 1 year ago

joneugster commented 1 year ago

Tmp PR to see difference

joneugster commented 1 year ago

implemented feature in main