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

prover programming
.תקשור	证明程序设计