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

Update ZH-Translation for Lean Game Server #244

Closed RexWzh closed 5 months ago

RexWzh commented 5 months ago

Hi. Thank you for the awesome project. I noticed that the original Chinese translation was incomplete, so I have updated and completed it.

You can review the changes at the following link: https://game.leanprover.cn/#/

Below is a comparison of the versions:

Comparison Image

joneugster commented 5 months ago

Thank you!