Theoremproving
[计] 定理证明
🗣️ 情景例句
I'm not hungry, I've been snacking all day.
我不饿，我一整天都在吃零食。
Who laughed a while ago?
刚才谁在笑？
OK! What time shall we leave?
好的！我们什么时候出发？