Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
While it may be cold outside, it's always warm here in the office.
外面可能很冷的时候，办公室里面总是很暖和。
Well, I'd probably say you should think about it seriously.
哦，我可能会对你说，你应该认真考虑一下你的决定。
We've got plenty of time.
我们时间还很宽裕。