From 6d810aa37ea6c0d98418829d5cb56830a9a2ba11 Mon Sep 17 00:00:00 2001 From: WeetHet Date: Wed, 27 Sep 2023 20:13:31 +0300 Subject: [PATCH] Add russian translations --- src/translations.typ | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/translations.typ b/src/translations.typ index 11881b0..c13d1fa 100644 --- a/src/translations.typ +++ b/src/translations.typ @@ -48,5 +48,15 @@ "example": "Voorbeeld", "definition": "Definitie", "proof": "Bewijs" + ), + "ru": ( + "theorem": "Теорема", + "lemma": "Лемма", + "corollary": "Следствие", + "remark": "Замечание", + "proposition": "Утверждение", + "example": "Пример", + "definition": "Определение", + "proof": "Доказательство" ) )