| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| translator-basic-dictionary-Arabic.dict | 3.9 KiB | Dec 11, 2022 |
| translator-bibliography-dictionary-Arabic.dict | 958 B | Aug 3, 2020 |
| translator-environment-dictionary-Arabic.dict | 420 B | Aug 3, 2020 |
| translator-numbers-dictionary-Arabic.dict | 1.8 KiB | Jul 29, 2020 |
| translator-theorem-dictionary-Arabic.dict | 3.5 KiB | Dec 16, 2022 |