Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
Welcome, Mr. Stewart.
欢迎， Stewart先生。
One good head is better than a hundred strong hands.
上百双有力的手，不如一个聪明的头脑。
I owe what I am to my uncle.
我能有今天要感谢我的伯父。