search

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 major typo #120

Closed grhkm21 closed 1 year ago

grhkm21 commented 1 year ago

This typo has caused me insufferable pain. Please merge as soon as possible!

joneugster commented 1 year ago

fixed