英语 ⇄ 俄语 +

computer-checkable proof 强调
信息技术	проверяемое на компьютере доказательство (gitbook.io Alex_Odeychuk); проверяемое компьютером доказательство (Alex_Odeychuk)