Zaɓi harshe
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.
Hausa
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.