Kies jou taal
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.
Afrikaans
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.