Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
What about the bet?
那打赌的事呢？
The post office is two blocks straight ahead, You can't miss it.
那邮局一直向前走过两条街，很好找。
The box is heavy. Can you carry it?
这个箱子很重，你能搬动吗？