>

theorem machine prove

📖 中文释义

  1. [计] 定理机器证明
T 字母词表