fix: show error on duplicated level number - 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

fix: show error on duplicated level number #116

Closed joneugster closed 1 year ago