您要找的是不是：
n. 打样；防护；试验；浸溃 | v. 证明；...
v. 证明；校对；发酵（prove的ing形式） | ...
自动定理证明
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。