Ukrainian translation of NNG

Stream: general

[Andrii Kurdiumov]

I just finish translation of NNG4 to Ukrainian, can somebody review please.

https://github.com/leanprover-community/NNG4/pull/95

[Kevin Buzzard]

Thank you! It would be great if someone could give an independent verification that the translation is decent

[Andrii Kurdiumov]

That’s why I post it here. I hope somebody notice. I also post in Ukrainian Math chat, maybe somebody come and verify. Right now I’m in sit and relax mode, waiting for feedback

[Yury G. Kudryashov]

Is one of .po/.json generated from the other?

[Andrii Kurdiumov]

JSON file generated from PO. I forgot to update JSOn so that may caused some confusion. Now JSON regenerated, but reviewing probably betted did on PO file itself

[Andrii Kurdiumov]

A bit of bump for thread, in hope that somebody who infrequently visiting notice.

I did a second round of review and much more confident in the translation due to that, but still want somebody give a quick look at PO file content. Also add comments for reviewing to the original PR.

If nobody respond, would ask for merging this PR since as I say, I'm more or less confident in the content.

[Kevin Buzzard]

Sorry, I dropped the ball on NNG because I've had a hectic three weeks. I should persuade my daughter's Ukrainian boyfriend to look through the files :-)

[Andrii Kurdiumov]

The problem with review is that is's boring + that's somewhat mathematical language, which have it's own quirks. I try to capture some mistakes which reviewer-wanna-be make in the PR description

Also most pain is keep formatting preserved, to not incidentally break game. Anyway thank for you help in review

[Andrii Kurdiumov]

@Kevin Buzzard at this point I have to ask you to use your family for review. Seems to be everybody like my work, but not willing to review.

[Kevin Buzzard]

Thank you for reminding me about this. NNG is super-low on my priority list right now because I am organizing a class field theory workshop and proving FLT, and NNG "works". However this PR makes it better.

As I am unable to find a reviewer and I really want to support the Ukrainian mathematical community I think I'll just merge the PR as is.

[Kevin Buzzard]

(NB we have to wait for CI to finish and then I have to deploy it, so even though the PR is merged the translation is not available yet)

[Kevin Buzzard]

OK it's deployed -- what do you think @Andrii Kurdiumov ? It looks to me like it's working fine!

[Andrii Kurdiumov]

@Kevin Buzzard I really-releally like it. Unfortunately I realize that I forget to regenerate JSON file from PO file, so translation likely missing that (if regeneration not already part of build). If you would be so kind, to merge (if needed) I would really appreciate it.

[Kevin Buzzard]

OK! It's merged; when CI passes I'll deploy. Thanks for your patience and your work!

[Violeta Hernández]

Oh, I hadn't realized translations were wanted! I'll glady translate into Spanish.

[Kevin Buzzard]

If we have Chinese (which we do) and Spanish as well as English then we have some huge proportion of the world covered, so Spanish would most definitely be welcome!

[Yaël Dillies]

Do we not have French?

[Sébastien Gouëzel]

https://github.com/leanprover-community/NNG4/pull/108

[Aaron Liu]

the chinese translation feels a bit clunky but it's readable

[Sébastien Gouëzel]

(together with https://github.com/leanprover-community/lean4game/pull/332)