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

computer proof verification מתח
.טכנול	компьютерная проверка доказательств (gitbook.io Alex_Odeychuk)