אנגלית ⇄ רוסית +

proof checker algorithm מתח
.טכנול	алгоритм проверки доказательств (gitbook.io Alex_Odeychuk)