theorem machine prove

美[ˈθiərəm məˈʃin pruv]英[ˈθi:ərəm məˈʃi:n pru:v]

[计] 定理机器证明

Examples