Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
Yes.
好的。
You must be hungry. Shall we get something to eat?
你一定饿了，我们吃点东西好吗？
the editor was getting impatient, for the magazine would soon go to press.
在此期间，编辑等得不耐烦了，因为杂志马上要付印。