Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
This sentence doesn't make any sense.
这个句子完全讲不通。
Does Louis like lemonade sour?
路易斯喜欢酸味强烈的柠檬水吗？
By then, however, in many places the grass had already taken root.
然而到那时，很多地方的草已经生了根。