Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
OK, we have let you know as early as possible.
好的，我们会让你们尽早知道。
In college I majored in history, What was you major?
大学时我主修历史，你主修什么呢？
To make matters worse, the room is rather small, so I have temporarily put my books on the floor.
更糟糕的是房间还非常小，所以我暂时把书放在了地板上。