英语 ⇄ 俄语 +

proof-system language 强调
研究与开发, 编程	язык системы автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)