theorem-proving

英 ['θiərəmpr'uːvɪŋ] 美 ['θiərəmpr'uːvɪŋ]

• n. 定理证明