Theoremproving
[计] 定理证明
🗣️ 情景例句
When and what university did you graduate from?
你何时从哪所大学毕业？
I'll rip him apart with my hands.
我要亲手把他撕成碎片。
It can take as long as eight days to rig up rope ladders and to establish supply bases before a descent can be made into a very deep cave.
有时需要花费整整8天时间来搭起绳梯，建立供应基地，然后才能到一个很深的洞穴里。