WIP progress on world overviews - 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

WIP progress on world overviews #129

Open joneugster opened 1 year ago