[translation] Add support for Vietnamese (vi)

sphinx_proof/translations/jsons/Algorithm.json

@@ -6,5 +6,6 @@
     {"language":"French","symbol":"fr","text":"Algorithme"},
     {"language":"German","symbol":"de","text":"Algorithmus"},
     {"language":"Italian","symbol":"it","text":"Algoritmo"},
-    {"language":"Spanish","symbol":"es","text":"Algoritmo"}
+    {"language":"Spanish","symbol":"es","text":"Algoritmo"},
+    {"language":"Vietnamese","symbol":"vi","text":"Thuật toán"}
 ]

sphinx_proof/translations/jsons/Assumption.json

@@ -3,5 +3,6 @@
     {"language":"Chinese","symbol":"zh_CN","text":"假设"},
     {"language":"Dutch","symbol":"nl","text":"Aanname"},
     {"language":"German","symbol":"de","text":"Annahme"},
-    {"language":"Spanish", "symbol":"es","text":"Supuesto"}
+    {"language":"Spanish", "symbol":"es","text":"Supuesto"},
+    {"language":"Vietnamese","symbol":"vi","text":"Giả định"}
 ]

sphinx_proof/translations/jsons/Axiom.json

@@ -6,5 +6,6 @@
     {"language":"French","symbol":"fr","text":"Axiome"},
     {"language":"German","symbol":"de","text":"Axiom"},
     {"language":"Italian","symbol":"it","text":"Assioma"},
-    {"language":"Spanish","symbol":"es","text":"Axioma"}
+    {"language":"Spanish","symbol":"es","text":"Axioma"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiên đề"}
 ]

sphinx_proof/translations/jsons/Conjecture.json

@@ -9,5 +9,6 @@
     {"language":"Italian","symbol":"it","text":"Congetturare"},
     {"language":"Japanese","symbol":"ja","text":"推測"},
     {"language":"Russian","symbol":"ru","text":"Гипотеза"},
-    {"language":"Spanish","symbol":"es","text":"Conjetura"}
+    {"language":"Spanish","symbol":"es","text":"Conjetura"},
+    {"language":"Vietnamese","symbol":"vi","text":"Giả thuyết"}
 ]

sphinx_proof/translations/jsons/Corollary.json

@@ -1,4 +1,5 @@
 [
     {"language":"English","symbol":"en","text":"Corollary"},
-    {"language":"German","symbol":"de","text":"Korollar"}
+    {"language":"German","symbol":"de","text":"Korollar"},
+    {"language":"Vietnamese","symbol":"vi","text":"Hệ quả"}
 ]

sphinx_proof/translations/jsons/Definition.json

@@ -9,5 +9,6 @@
     {"language":"Italian","symbol":"it","text":"Definizione"},
     {"language":"Japanese","symbol":"ja","text":"意味"},
     {"language":"Russian","symbol":"ru","text":"Определение"},
-    {"language":"Spanish","symbol":"es","text":"Definición"}
+    {"language":"Spanish","symbol":"es","text":"Definición"},
+    {"language":"Vietnamese","symbol":"vi","text":"Định nghĩa"}
 ]

sphinx_proof/translations/jsons/Example.json

@@ -5,5 +5,6 @@
     {"language":"French","symbol":"fr","text":"Exemple"},
     {"language":"German","symbol":"de","text":"Beispiel"},
     {"language":"Italian","symbol":"it","text":"Esempio"},
-    {"language":"Spanish","symbol":"es","text":"Ejemplo"}
+    {"language":"Spanish","symbol":"es","text":"Ejemplo"},
+    {"language":"Vietnamese","symbol":"vi","text":"Ví dụ"}
 ]

sphinx_proof/translations/jsons/Lemma.json

@@ -9,5 +9,6 @@
     {"language":"Italian","symbol":"it","text":"Lemma"},
     {"language":"Japanese","symbol":"ja","text":"補題"},
     {"language":"Russian","symbol":"ru","text":"Лемма"},
-    {"language":"Spanish","symbol":"es","text":"Lema"}
+    {"language":"Spanish","symbol":"es","text":"Lema"},
+    {"language":"Vietnamese","symbol":"vi","text":"Bổ đề"}
 ]

sphinx_proof/translations/jsons/Property.json

@@ -6,5 +6,6 @@
     {"language":"French","symbol":"fr","text":"Propriété"},
     {"language":"German","symbol":"de","text":"Eigenschaft"},
     {"language":"Italian","symbol":"it","text":"Proprietà"},
-    {"language":"Spanish","symbol":"es","text":"Propiedad"}
+    {"language":"Spanish","symbol":"es","text":"Propiedad"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tính chất"}
 ]

sphinx_proof/translations/jsons/Remark.json

@@ -9,5 +9,6 @@
     {"language":"Italian","symbol":"it","text":"osservazione"},
     {"language":"Japanese","symbol":"ja","text":"述べる"},
     {"language":"Russian","symbol":"ru","text":"Замечание"},
-    {"language":"Spanish","symbol":"es","text":"Observación"}
+    {"language":"Spanish","symbol":"es","text":"Observación"},
+    {"language":"Vietnamese","symbol":"vi","text":"Nhận xét"}
 ]

sphinx_proof/translations/jsons/Theorem.json

@@ -8,5 +8,6 @@
     {"language":"Italian","symbol":"it","text":"Teorema"},
     {"language":"Japanese","symbol":"ja","text":"定理"},
     {"language":"Russian","symbol":"ru","text":"Теорема"},
-    {"language":"Spanish","symbol":"es","text":"Teorema"}
+    {"language":"Spanish","symbol":"es","text":"Teorema"},
+    {"language":"Vietnamese","symbol":"vi","text":"Định lí"}
 ]