issues
search
leanprover-community
/
lean4game
Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
174
stars
29
forks
source link
(some?) error messages appear twice
#209
Open
TentativeConvert
opened
5 months ago
TentativeConvert
commented
5 months ago
This is from Robo/Logo/Level 10:
This is from Robo/Logo/Level 10: