search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
149 stars 26 forks source link

Website Translation from German to English fails on Robo #247

Open AMindToThink opened 3 weeks ago

AMindToThink commented 3 weeks ago

I would like to do the "Robo" section, which is in German. I tried Google Chrome's Translate feature as well as Google Translate and Yandex. They all say they cannot translate it.

My expected output is to see the German text in English but the rest of the webpage the same.

Translating the English Natural Number Game into Spanish or German with Google Chrome's Translate feature works properly. Google Translate and Yandex fail on the Natural Number Game.

image image
TentativeConvert commented 3 weeks ago

In Firefox, automatic translation of Robo to English works for me:

image

Of course, I cannot guarantee for the quality of the translation.

Please bear in mind that the game is heavily under development. Only around half of the visible planets are in a polished state. Feedback is highly welcome!

joneugster commented 2 weeks ago

If you have any technical insight why it doesn't work, please don't hesitate to tell us here what needs to be changed.

However, note that I don't think I will investigate this myself, nor do I currently have any intention that automatic browser translation should become an officially supported feature. :)