Vertically centre commands between proof states - Githubissues

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

Vertically centre commands between proof states #92

Closed TentativeConvert closed 1 year ago

TentativeConvert commented 1 year ago

Current layout:

Desired layout:

joneugster commented 1 year ago

done.