英语 ⇄ 俄语 +

interactive proof checker 强调
人工智能	интерактивная система автоматического доказательства теорем (корпорации AdaCore Alex_Odeychuk)