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

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