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

interactive proof checker מתח
.בינה	интерактивная система автоматического доказательства теорем (wikipedia.org Alex_Odeychuk)