From f8c4ddf9fa1d5607bffbefe8680748fa0c3921be Mon Sep 17 00:00:00 2001 From: Tomas Talasek Date: Sat, 26 Apr 2025 11:19:12 +0200 Subject: [PATCH] Update Theorem.json - added Czech translation --- sphinx_proof/translations/jsons/Theorem.json | 1 + 1 file changed, 1 insertion(+) diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json index 8ec055a..fe89d3d 100644 --- a/sphinx_proof/translations/jsons/Theorem.json +++ b/sphinx_proof/translations/jsons/Theorem.json @@ -9,4 +9,5 @@ {"language":"Japanese","symbol":"ja","text":"定理"}, {"language":"Russian","symbol":"ru","text":"Теорема"}, {"language":"Spanish","symbol":"es","text":"Teorema"} + {"language":"Czech","symbol":"cs","text":"Věta"}, ]