Support hosting games from different lean versions.

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

Support hosting games from different lean versions. #164

Closed joneugster closed 5 months ago

joneugster commented 11 months ago

c2b9175 implements the server side: each game uses its own gameserver executable

joneugster commented 11 months ago

If we also want to make the frontend independent of the server version, I think one would have to fetch the resources from the game's .lake/packages/GameServer/client/dist here: index.mjs

However, I think that's also not as important. Now a game only breaks if there are breaking changes in the communication between client and server, which are much less frequent and completely in our control (unlike changes to lean)