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

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