theorem-prover

英 ['θiərəmpr'uːvə] 美 ['θiərəmpr'uːvə]

• n. 定理证明程序