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

Consistent design of menu/impressum/info #113

Closed TentativeConvert closed 1 year ago

TentativeConvert commented 1 year ago

See https://github.com/leanprover-community/lean4game/issues/96#issuecomment-1712797441_

[I can't reopen.]