issues
search
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
Delete queue when importing new version of a game
#72
Open
abentkamp
opened
1 year ago