Add Bengali, Urdu, and Malay translations (#156)

Added three high-priority languages with 540M+ combined speakers:

- Bengali (bn) - 230M+ speakers, 7th most spoken language
- Urdu (ur) - 230M+ speakers, official language of Pakistan
- Malay (ms) - 80M speakers, official in Malaysia/Brunei

All 15 directive types now have complete translations:
- Algorithm (অ্যালগরিদম / الگورتھم / Algoritma)
- Assumption (অনুমান / مفروضہ / Andaian)
- Axiom (স্বতঃসিদ্ধ / مسلمہ / Aksiom)
- Conjecture (অনুমিত সিদ্ধান্ত / قیاس / Konjektur)
- Corollary (অনুসিদ্ধান্ত / نتیجہ / Akibat)
- Criterion (মানদণ্ড / معیار / Kriteria)
- Definition (সংজ্ঞা / تعریف / Definisi)
- Example (উদাহরণ / مثال / Contoh)
- Lemma (লেমা / لیما / Lema)
- Notation (চিহ্ন / علامت / Notasi)
- Observation (পর্যবেক্ষণ / مشاہدہ / Pemerhatian)
- Property (বৈশিষ্ট্য / خاصیت / Sifat)
- Proposition (প্রস্তাবনা / مقدمہ / Proposisi)
- Remark (মন্তব্য / تبصرہ / Catatan)
- Theorem (উপপাদ্য / نظریہ / Teorem)

Generated locale files:
- sphinx_proof/translations/locales/bn/ (Bengali)
- sphinx_proof/translations/locales/ur/ (Urdu)
- sphinx_proof/translations/locales/ms/ (Malay)

Total language support: 33 languages (English + 32 translations)

This significantly expands reach in South Asian and Southeast Asian
academic communities.

Author: mmcky

sphinx_proof/translations/jsons/Algorithm.json

@@ -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"},
@@ -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"},
@@ -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"}
 ]

sphinx_proof/translations/jsons/Assumption.json

@@ -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"},
@@ -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"},
@@ -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"}
 ]

sphinx_proof/translations/jsons/Axiom.json

@@ -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"},
@@ -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"},
@@ -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 đề"}
 ]

sphinx_proof/translations/jsons/Conjecture.json

@@ -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"},
@@ -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"},
@@ -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"}
 ]

sphinx_proof/translations/jsons/Corollary.json

@@ -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"},
@@ -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"},
@@ -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ả"}
 ]

sphinx_proof/translations/jsons/Criterion.json

@@ -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"},
@@ -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"},
@@ -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í"}
 ]

sphinx_proof/translations/jsons/Definition.json

@@ -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"},
@@ -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"},
@@ -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"}
 ]

sphinx_proof/translations/jsons/Example.json

@@ -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"},
@@ -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"},
@@ -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ụ"}
 ]

sphinx_proof/translations/jsons/Lemma.json

@@ -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"},
@@ -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"},
@@ -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ổ đề"}
 ]

sphinx_proof/translations/jsons/Notation.json

@@ -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"},
@@ -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"},
@@ -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"}
 ]