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

Bug: Lost progress #221

Open joneugster opened 7 months ago

joneugster commented 7 months ago

Having two tabs open with the same level will overwrite the user's progress randomly with either of the two. In reality one of the tabs will have an empty proof, resulting in deletion of of the user's proof.