Update internationalization documentation (#157)

* Update internationalization documentation

- Updated language count from 10 to 30 languages
- Added complete table of all supported languages with their codes
- Listed all 15 directive types with complete translation coverage
- Removed outdated 'Work in progress' note
- Added usage example for setting language in conf.py
- Clarified that English is the default language if not specified
- Organized languages in alphabetical order in a two-column table

All 30 languages now have complete translations for all 15 directive types:
Algorithm, Assumption, Axiom, Conjecture, Corollary, Criterion, Definition,
Example, Lemma, Notation, Observation, Property, Proposition, Remark, Theorem

Supported languages:
Arabic, Bulgarian, Chinese, Czech, Danish, Dutch, English, Finnish, French,
German, Greek, Hebrew, Hindi, Hungarian, Indonesian, Italian, Japanese,
Korean, Norwegian, Persian, Polish, Portuguese, Romanian, Russian, Spanish,
Swedish, Thai, Turkish, Ukrainian, Vietnamese

* Update internationalization docs to reflect 33 languages

* Update docs/source/internationalization.md

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: mmcky

docs/source/internationalization.md

@@ -1,18 +1,38 @@
 # Internationalization
 
-This package supports the following languages specified in `conf.py` using the  `language` option:
-
-- ar
-- cs
-- de
-- es
-- fr
-- it
-- ja
-- nl
-- ru
-- zh_CN
-
-```{note} Work in progress
-Not all languages listed above are support across all admonition types
+This package supports **33 languages** for all proof directive types. Translations are specified in `conf.py` using the `language` option.
+
+## Supported Languages
+
+All 15 directive types (Algorithm, Assumption, Axiom, Conjecture, Corollary, Criterion, Definition, Example, Lemma, Notation, Observation, Property, Proposition, Remark, Theorem) have complete translations in the following languages:
+
+| Language | Code | Language | Code |
+|----------|------|----------|------|
+| Arabic | `ar` | Bengali | `bn` |
+| Bulgarian | `bg` | Chinese | `zh_CN` |
+| Czech | `cs` | Danish | `da` |
+| Dutch | `nl` | Finnish | `fi` |
+| French | `fr` | German | `de` |
+| Greek | `el` | Hebrew | `he` |
+| Hindi | `hi` | Hungarian | `hu` |
+| Indonesian | `id` | Italian | `it` |
+| Japanese | `ja` | Korean | `ko` |
+| Malay | `ms` | Norwegian | `no` |
+| Persian | `fa` | Polish | `pl` |
+| Portuguese | `pt` | Romanian | `ro` |
+| Russian | `ru` | Spanish | `es` |
+| Swedish | `sv` | Thai | `th` |
+| Turkish | `tr` | Ukrainian | `uk` |
+| Urdu | `ur` | Vietnamese | `vi` |
+
+## Usage
+
+To use a specific language, set the `language` option in your Sphinx `conf.py`:
+
+```python
+language = 'es'  # For Spanish
 ```
+
+If no language is specified, **English** (`en`) is used as the default.
+
+All proof directives will automatically use the appropriate translations for the selected language.