Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
I'll let you off this time.
这回我放过你。
Late repentance is seldom true.
后悔少有诚意。
Quite by accident. I moved a few peas and there it was.
很偶然。我挪了几颗青豆就发现了。