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

interactive theorem proving מתח
.בינה	интерактивное доказательство теорем (Alex_Odeychuk)