Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Algorithm.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Algorithm"},
{"language":"Arabic","symbol":"ar","text":"خوارزمية"},
{"language":"Bengali","symbol":"bn","text":"অ্যালগরিদম"},
{"language":"Bulgarian","symbol":"bg","text":"Алгоритъм"},
{"language":"Chinese","symbol":"zh_CN","text":"算法"},
{"language":"Czech","symbol":"cs","text":"Algoritmus"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Algoritmo"},
{"language":"Japanese","symbol":"ja","text":"アルゴリズム"},
{"language":"Korean","symbol":"ko","text":"알고리즘"},
{"language":"Malay","symbol":"ms","text":"Algoritma"},
{"language":"Norwegian","symbol":"no","text":"Algoritme"},
{"language":"Persian","symbol":"fa","text":"الگوریتم"},
{"language":"Polish","symbol":"pl","text":"Algorytm"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"อัลกอริทึม"},
{"language":"Turkish","symbol":"tr","text":"Algoritma"},
{"language":"Ukrainian","symbol":"uk","text":"Алгоритм"},
{"language":"Urdu","symbol":"ur","text":"الگورتھم"},
{"language":"Vietnamese","symbol":"vi","text":"Thuật toán"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Assumption.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Assumption"},
{"language":"Arabic","symbol":"ar","text":"افتراض"},
{"language":"Bengali","symbol":"bn","text":"অনুমান"},
{"language":"Bulgarian","symbol":"bg","text":"Предположение"},
{"language":"Chinese","symbol":"zh_CN","text":"假设"},
{"language":"Czech","symbol":"cs","text":"Předpoklad"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Assunzione"},
{"language":"Japanese","symbol":"ja","text":"仮定"},
{"language":"Korean","symbol":"ko","text":"가정"},
{"language":"Malay","symbol":"ms","text":"Andaian"},
{"language":"Norwegian","symbol":"no","text":"Antagelse"},
{"language":"Persian","symbol":"fa","text":"فرض"},
{"language":"Polish","symbol":"pl","text":"Założenie"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"สมมติฐาน"},
{"language":"Turkish","symbol":"tr","text":"Varsayım"},
{"language":"Ukrainian","symbol":"uk","text":"Припущення"},
{"language":"Urdu","symbol":"ur","text":"مفروضہ"},
{"language":"Vietnamese","symbol":"vi","text":"Giả định"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Axiom.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Axiom"},
{"language":"Arabic","symbol":"ar","text":"بديهية"},
{"language":"Bengali","symbol":"bn","text":"স্বতঃসিদ্ধ"},
{"language":"Bulgarian","symbol":"bg","text":"Аксиома"},
{"language":"Chinese","symbol":"zh_CN","text":"公理"},
{"language":"Czech","symbol":"cs","text":"Axiom"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Assioma"},
{"language":"Japanese","symbol":"ja","text":"公理"},
{"language":"Korean","symbol":"ko","text":"공리"},
{"language":"Malay","symbol":"ms","text":"Aksiom"},
{"language":"Norwegian","symbol":"no","text":"Aksiom"},
{"language":"Persian","symbol":"fa","text":"بدیهیات"},
{"language":"Polish","symbol":"pl","text":"Aksjomat"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"สัจพจน์"},
{"language":"Turkish","symbol":"tr","text":"Aksiyom"},
{"language":"Ukrainian","symbol":"uk","text":"Аксіома"},
{"language":"Urdu","symbol":"ur","text":"مسلمہ"},
{"language":"Vietnamese","symbol":"vi","text":"Tiên đề"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Conjecture.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Conjecture"},
{"language":"Arabic","symbol":"ar","text":"تخمين"},
{"language":"Bengali","symbol":"bn","text":"অনুমিত সিদ্ধান্ত"},
{"language":"Bulgarian","symbol":"bg","text":"Предположение"},
{"language":"Chinese","symbol":"zh_CN","text":"猜想"},
{"language":"Czech","symbol":"cs","text":"Domněnka"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Congettura"},
{"language":"Japanese","symbol":"ja","text":"推測"},
{"language":"Korean","symbol":"ko","text":"추측"},
{"language":"Malay","symbol":"ms","text":"Konjektur"},
{"language":"Norwegian","symbol":"no","text":"Formodning"},
{"language":"Persian","symbol":"fa","text":"حدس"},
{"language":"Polish","symbol":"pl","text":"Przypuszczenie"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"ข้อสันนิษฐาน"},
{"language":"Turkish","symbol":"tr","text":"Tahmin"},
{"language":"Ukrainian","symbol":"uk","text":"Гіпотеза"},
{"language":"Urdu","symbol":"ur","text":"قیاس"},
{"language":"Vietnamese","symbol":"vi","text":"Phỏng đoán"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Corollary.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Corollary"},
{"language":"Arabic","symbol":"ar","text":"نتيجة"},
{"language":"Bengali","symbol":"bn","text":"অনুসিদ্ধান্ত"},
{"language":"Bulgarian","symbol":"bg","text":"Следствие"},
{"language":"Chinese","symbol":"zh_CN","text":"推论"},
{"language":"Czech","symbol":"cs","text":"Důsledek"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Corollario"},
{"language":"Japanese","symbol":"ja","text":"系"},
{"language":"Korean","symbol":"ko","text":"따름정리"},
{"language":"Malay","symbol":"ms","text":"Akibat"},
{"language":"Norwegian","symbol":"no","text":"Korollar"},
{"language":"Persian","symbol":"fa","text":"نتیجه"},
{"language":"Polish","symbol":"pl","text":"Wniosek"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"บทตาม"},
{"language":"Turkish","symbol":"tr","text":"Sonuç"},
{"language":"Ukrainian","symbol":"uk","text":"Наслідок"},
{"language":"Urdu","symbol":"ur","text":"نتیجہ"},
{"language":"Vietnamese","symbol":"vi","text":"Hệ quả"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Criterion.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Criterion"},
{"language":"Arabic","symbol":"ar","text":"معيار"},
{"language":"Bengali","symbol":"bn","text":"মানদণ্ড"},
{"language":"Bulgarian","symbol":"bg","text":"Критерий"},
{"language":"Chinese","symbol":"zh_CN","text":"准则"},
{"language":"Czech","symbol":"cs","text":"Kritérium"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Criterio"},
{"language":"Japanese","symbol":"ja","text":"基準"},
{"language":"Korean","symbol":"ko","text":"기준"},
{"language":"Malay","symbol":"ms","text":"Kriteria"},
{"language":"Norwegian","symbol":"no","text":"Kriterium"},
{"language":"Persian","symbol":"fa","text":"معیار"},
{"language":"Polish","symbol":"pl","text":"Kryterium"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"เกณฑ์"},
{"language":"Turkish","symbol":"tr","text":"Kriter"},
{"language":"Ukrainian","symbol":"uk","text":"Критерій"},
{"language":"Urdu","symbol":"ur","text":"معیار"},
{"language":"Vietnamese","symbol":"vi","text":"Tiêu chí"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Definition.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Definition"},
{"language":"Arabic","symbol":"ar","text":"تعريف"},
{"language":"Bengali","symbol":"bn","text":"সংজ্ঞা"},
{"language":"Bulgarian","symbol":"bg","text":"Определение"},
{"language":"Chinese","symbol":"zh_CN","text":"定义"},
{"language":"Czech","symbol":"cs","text":"Definice"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Definizione"},
{"language":"Japanese","symbol":"ja","text":"定義"},
{"language":"Korean","symbol":"ko","text":"정의"},
{"language":"Malay","symbol":"ms","text":"Definisi"},
{"language":"Norwegian","symbol":"no","text":"Definisjon"},
{"language":"Persian","symbol":"fa","text":"تعریف"},
{"language":"Polish","symbol":"pl","text":"Definicja"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"คำนิยาม"},
{"language":"Turkish","symbol":"tr","text":"Tanım"},
{"language":"Ukrainian","symbol":"uk","text":"Визначення"},
{"language":"Urdu","symbol":"ur","text":"تعریف"},
{"language":"Vietnamese","symbol":"vi","text":"Định nghĩa"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Example.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Example"},
{"language":"Arabic","symbol":"ar","text":"مثال"},
{"language":"Bengali","symbol":"bn","text":"উদাহরণ"},
{"language":"Bulgarian","symbol":"bg","text":"Пример"},
{"language":"Chinese","symbol":"zh_CN","text":"例子"},
{"language":"Czech","symbol":"cs","text":"Příklad"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Esempio"},
{"language":"Japanese","symbol":"ja","text":"例"},
{"language":"Korean","symbol":"ko","text":"예제"},
{"language":"Malay","symbol":"ms","text":"Contoh"},
{"language":"Norwegian","symbol":"no","text":"Eksempel"},
{"language":"Persian","symbol":"fa","text":"مثال"},
{"language":"Polish","symbol":"pl","text":"Przykład"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"ตัวอย่าง"},
{"language":"Turkish","symbol":"tr","text":"Örnek"},
{"language":"Ukrainian","symbol":"uk","text":"Приклад"},
{"language":"Urdu","symbol":"ur","text":"مثال"},
{"language":"Vietnamese","symbol":"vi","text":"Ví dụ"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Lemma.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Lemma"},
{"language":"Arabic","symbol":"ar","text":"ليما"},
{"language":"Bengali","symbol":"bn","text":"লেমা"},
{"language":"Bulgarian","symbol":"bg","text":"Лема"},
{"language":"Chinese","symbol":"zh_CN","text":"引理"},
{"language":"Czech","symbol":"cs","text":"Lemma"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Lemma"},
{"language":"Japanese","symbol":"ja","text":"補題"},
{"language":"Korean","symbol":"ko","text":"보조정리"},
{"language":"Malay","symbol":"ms","text":"Lema"},
{"language":"Norwegian","symbol":"no","text":"Lemma"},
{"language":"Persian","symbol":"fa","text":"لم"},
{"language":"Polish","symbol":"pl","text":"Lemat"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"บทแทรก"},
{"language":"Turkish","symbol":"tr","text":"Lemma"},
{"language":"Ukrainian","symbol":"uk","text":"Лема"},
{"language":"Urdu","symbol":"ur","text":"لیما"},
{"language":"Vietnamese","symbol":"vi","text":"Bổ đề"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Notation.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Notation"},
{"language":"Arabic","symbol":"ar","text":"الترميز"},
{"language":"Bengali","symbol":"bn","text":"চিহ্ন"},
{"language":"Bulgarian","symbol":"bg","text":"Нотация"},
{"language":"Chinese","symbol":"zh_CN","text":"表示法"},
{"language":"Czech","symbol":"cs","text":"Notace"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Notazione"},
{"language":"Japanese","symbol":"ja","text":"表記"},
{"language":"Korean","symbol":"ko","text":"표기법"},
{"language":"Malay","symbol":"ms","text":"Notasi"},
{"language":"Norwegian","symbol":"no","text":"Notasjon"},
{"language":"Persian","symbol":"fa","text":"نمادگذاری"},
{"language":"Polish","symbol":"pl","text":"Notacja"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"สัญกรณ์"},
{"language":"Turkish","symbol":"tr","text":"Gösterim"},
{"language":"Ukrainian","symbol":"uk","text":"Нотація"},
{"language":"Urdu","symbol":"ur","text":"علامت"},
{"language":"Vietnamese","symbol":"vi","text":"Ký hiệu"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Observation.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Observation"},
{"language":"Arabic","symbol":"ar","text":"ملاحظة"},
{"language":"Bengali","symbol":"bn","text":"পর্যবেক্ষণ"},
{"language":"Bulgarian","symbol":"bg","text":"Наблюдение"},
{"language":"Chinese","symbol":"zh_CN","text":"观察"},
{"language":"Czech","symbol":"cs","text":"Pozorování"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Osservazione"},
{"language":"Japanese","symbol":"ja","text":"観察"},
{"language":"Korean","symbol":"ko","text":"관찰"},
{"language":"Malay","symbol":"ms","text":"Pemerhatian"},
{"language":"Norwegian","symbol":"no","text":"Observasjon"},
{"language":"Persian","symbol":"fa","text":"مشاهده"},
{"language":"Polish","symbol":"pl","text":"Obserwacja"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"การสังเกต"},
{"language":"Turkish","symbol":"tr","text":"Gözlem"},
{"language":"Ukrainian","symbol":"uk","text":"Спостереження"},
{"language":"Urdu","symbol":"ur","text":"مشاہدہ"},
{"language":"Vietnamese","symbol":"vi","text":"Quan sát"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Property.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Property"},
{"language":"Arabic","symbol":"ar","text":"خاصية"},
{"language":"Bengali","symbol":"bn","text":"বৈশিষ্ট্য"},
{"language":"Bulgarian","symbol":"bg","text":"Свойство"},
{"language":"Chinese","symbol":"zh_CN","text":"性质"},
{"language":"Czech","symbol":"cs","text":"Vlastnost"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Proprietà"},
{"language":"Japanese","symbol":"ja","text":"性質"},
{"language":"Korean","symbol":"ko","text":"성질"},
{"language":"Malay","symbol":"ms","text":"Sifat"},
{"language":"Norwegian","symbol":"no","text":"Egenskap"},
{"language":"Persian","symbol":"fa","text":"ویژگی"},
{"language":"Polish","symbol":"pl","text":"Własność"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"คุณสมบัติ"},
{"language":"Turkish","symbol":"tr","text":"Özellik"},
{"language":"Ukrainian","symbol":"uk","text":"Властивість"},
{"language":"Urdu","symbol":"ur","text":"خاصیت"},
{"language":"Vietnamese","symbol":"vi","text":"Tính chất"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Proposition.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Proposition"},
{"language":"Arabic","symbol":"ar","text":"قضية"},
{"language":"Bengali","symbol":"bn","text":"প্রস্তাবনা"},
{"language":"Bulgarian","symbol":"bg","text":"Предложение"},
{"language":"Chinese","symbol":"zh_CN","text":"命题"},
{"language":"Czech","symbol":"cs","text":"Tvrzení"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Proposizione"},
{"language":"Japanese","symbol":"ja","text":"命題"},
{"language":"Korean","symbol":"ko","text":"명제"},
{"language":"Malay","symbol":"ms","text":"Proposisi"},
{"language":"Norwegian","symbol":"no","text":"Proposisjon"},
{"language":"Persian","symbol":"fa","text":"گزاره"},
{"language":"Polish","symbol":"pl","text":"Propozycja"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"ประพจน์"},
{"language":"Turkish","symbol":"tr","text":"Önerme"},
{"language":"Ukrainian","symbol":"uk","text":"Пропозиція"},
{"language":"Urdu","symbol":"ur","text":"مقدمہ"},
{"language":"Vietnamese","symbol":"vi","text":"Mệnh đề"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Remark.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Remark"},
{"language":"Arabic","symbol":"ar","text":"ملاحظة"},
{"language":"Bengali","symbol":"bn","text":"মন্তব্য"},
{"language":"Bulgarian","symbol":"bg","text":"Забележка"},
{"language":"Chinese","symbol":"zh_CN","text":"注记"},
{"language":"Czech","symbol":"cs","text":"Poznámka"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Nota"},
{"language":"Japanese","symbol":"ja","text":"注意"},
{"language":"Korean","symbol":"ko","text":"주의"},
{"language":"Malay","symbol":"ms","text":"Catatan"},
{"language":"Norwegian","symbol":"no","text":"Merknad"},
{"language":"Persian","symbol":"fa","text":"توجه"},
{"language":"Polish","symbol":"pl","text":"Uwaga"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"หมายเหตุ"},
{"language":"Turkish","symbol":"tr","text":"Not"},
{"language":"Ukrainian","symbol":"uk","text":"Зауваження"},
{"language":"Urdu","symbol":"ur","text":"تبصرہ"},
{"language":"Vietnamese","symbol":"vi","text":"Chú ý"}
]
3 changes: 3 additions & 0 deletions sphinx_proof/translations/jsons/Theorem.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[
{"language":"English","symbol":"en","text":"Theorem"},
{"language":"Arabic","symbol":"ar","text":"نظرية"},
{"language":"Bengali","symbol":"bn","text":"উপপাদ্য"},
{"language":"Bulgarian","symbol":"bg","text":"Теорема"},
{"language":"Chinese","symbol":"zh_CN","text":"定理"},
{"language":"Czech","symbol":"cs","text":"Věta"},
Expand All @@ -17,6 +18,7 @@
{"language":"Italian","symbol":"it","text":"Teorema"},
{"language":"Japanese","symbol":"ja","text":"定理"},
{"language":"Korean","symbol":"ko","text":"정리"},
{"language":"Malay","symbol":"ms","text":"Teorem"},
{"language":"Norwegian","symbol":"no","text":"Teorem"},
{"language":"Persian","symbol":"fa","text":"قضیه"},
{"language":"Polish","symbol":"pl","text":"Twierdzenie"},
Expand All @@ -28,5 +30,6 @@
{"language":"Thai","symbol":"th","text":"ทฤษฎีบท"},
{"language":"Turkish","symbol":"tr","text":"Teorem"},
{"language":"Ukrainian","symbol":"uk","text":"Теорема"},
{"language":"Urdu","symbol":"ur","text":"نظریہ"},
{"language":"Vietnamese","symbol":"vi","text":"Định lý"}
]
Binary file not shown.
Binary file not shown.
Binary file not shown.