Theoremproving
[计] 定理证明
🗣️ 情景例句
And we'd like to find out about a mortgage.
我们想知道如何贷款。
Quality matters more than quantity.
质重于量。
Yes, we have done a little. But we have just started and have nothing to show you.
有，我们做了一些，但是因为我们才刚起步，并没有任何资料可以提供给你们。