Theoremproving
[计] 定理证明
🗣️ 情景例句
I've had a pretty high fever since yesterday morning.
从昨天早上起，我就一直发高烧。
Here is our contract.
这是我们的合同。
When he returns home at night, he always finds that someone has parked a car outside his gate.
当他夜里回到家时，总是发现有人把车停在他家大门外。