Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
You can see many posters that are put up before the movie opens.
每部电影首映前你都会看到铺天盖地的海报。
They consented with one voice.
他们异口同声地表示同意。
who produced it with a flourish and pointed out a microscopic 'o' beside the time of the arrival of the train at his station;
站长拿着时刻表一挥手，指着那趟列车到站时刻旁边一个很小的圆圈标记。