Choose your language

The interface, the match setup and every ruling the referee writes are shown in the language you pick here. The mathematics itself is not translated: a proof term is a proof term.

English

English — currently selected

English English

Español Spanish

Français French

Deutsch German

Italiano Italian

Português Portuguese

Nederlands Dutch

Русский Russian

日本語 Japanese

한국어 Korean

中文 Chinese

العربية Arabic

हिन्दी Hindi

Türkçe Turkish

Polski Polish

Svenska Swedish

Dansk Danish

Suomi Finnish

Norsk Norwegian

Українська Ukrainian

ไทย Thai

Tiếng Việt Vietnamese

Bahasa Indonesia Indonesian

Bahasa Melayu Malay

עברית Hebrew

Čeština Czech

Română Romanian

Magyar Hungarian

Ελληνικά Greek

Български Bulgarian

বাংলা Bengali

اردو Urdu

فارسی Persian

தமிழ் Tamil

తెలుగు Telugu

मराठी Marathi

ગુજરાતી Gujarati

ಕನ್ನಡ Kannada

മലയാളം Malayalam

ਪੰਜਾਬੀ Punjabi

ଓଡ଼ିଆ Odia

नेपाली Nepali

සිංහල Sinhala

မြန်မာ Burmese

ខ្មែរ Khmer

ລາວ Lao

ქართული Georgian

Հայերեն Armenian

Azərbaycan Azerbaijani

Oʻzbek Uzbek

Қазақ Kazakh

Кыргыз Kyrgyz

Тоҷикӣ Tajik

Türkmen Turkmen

Монгол Mongolian

Filipino Filipino

Kiswahili Swahili

አማርኛ Amharic

Hausa Hausa

Yorùbá Yoruba

Igbo Igbo

isiZulu Zulu

isiXhosa Xhosa

Afrikaans Afrikaans

Soomaali Somali

Malagasy Malagasy

chiShona Shona

Kinyarwanda Kinyarwanda

Chichewa Chichewa

Hrvatski Croatian

Српски Serbian

Slovenčina Slovak

Slovenščina Slovenian

Lietuvių Lithuanian

Latviešu Latvian

Eesti Estonian

Shqip Albanian

Македонски Macedonian

Bosanski Bosnian

Malti Maltese

Íslenska Icelandic

Gaeilge Irish

Cymraeg Welsh

Euskara Basque

Català Catalan

Galego Galician

Беларуская Belarusian

Jawa Javanese

Basa Sunda Sundanese

پښتو Pashto

سنڌي Sindhi

Kurdî Kurdish

Kreyòl Ayisyen Haitian Creole

Te Reo Māori Maori

Татар Tatar

ئۇيغۇرچە Uyghur

অসমীয়া Assamese

ייִדיש Yiddish

Lëtzebuergesch Luxembourgish

Esperanto Esperanto

Languages the interface is only partly translated into are listed too, and are marked as such by taking you to the English page when a translation is missing rather than showing you a blank label.