Merge branch 'main' into refactor

Marmare314 · Sep 29, 2023 · 4d9e388 · 4d9e388
2 parents f641ef0 + c2546c2
commit 4d9e388
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/translations.typ b/src/translations.typ
@@ -50,6 +50,16 @@
     "example": "Voorbeeld",
     "definition": "Definitie",
     "proof": "Bewijs"
+  ),
+  "ru": (
+    "theorem": "Теорема",
+    "lemma": "Лемма",
+    "corollary": "Следствие",
+    "remark": "Замечание",
+    "proposition": "Утверждение",
+    "example": "Пример",
+    "definition": "Определение",
+    "proof": "Доказательство"
   )
 )