Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
Learning to express onself well is an important part of education.
学会把意思表达清楚是受教育的一个重要方面。
I've been watching TV all night.
我看了一整晚的电视。
I'm not sure I can do it.
恐怕这事我干不了。