Translations for proof, remark, solution

[mchlbckr]

Hi,
the available translations for e.g. figure, table or theorem titles in the respective _language.yml files (e.g. _language-de.yml for German) do not contain any translations for the proof, remark and solution environments (see documentation).
Could they be added as additional labels?

[jjallaire]

That is indeed an oversight! Thanks for pointing this out, will get this resolved soon.

[mchlbckr]

Thanks @jjallaire! Let me know if I can help with translations..

[jjallaire]

I'm just about to submit a bunch of PRs w/ best effort translations from Google Translate. I will ping the original authors of those translations for their feedback -- feel free to weigh in on any or all of them as you see fit!

[mcanouil]

Closing as completed, see 2987932.