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

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