日语在线翻译
查 词
prover
日
prover
中文：
证明者
相关/近似词汇：
证明者
定理证明器
定理证明程序