定理证明程序的英文

“定理证明程序”对应的英文单词有：theorem prover ，一共1个，具体意思及用法如下：

theorem prover定理证明程序