查单词
查 询
prover
prover
中文:
证明者
相关/近似词汇:
证明者
定理证明器
定理证明程序
prover
prover