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

add some translation keys #268

Closed chabulhwi closed 1 month ago

joneugster commented 1 month ago

Thanks!