Mathlib
[计] 协处理器装载程序
🗣️ 情景例句
I want to buy an engagement ring for my fiancée.
我想为我的未婚妻买一枚订婚戒指。
There's nothing to do because tomorrow is a holliday.
无所谓因为明天是假期。
Often a valley boasted no inn at all, and climbers found shelter wherever they could --
山谷里常常没有小客栈，登山者只好随遇而安。