セオレムプルーバ

【せおれむぷるーば】

セオレムプルーバ

读成： せおれむぷるーば
中文： 定理证明程式、定理证明程序、定理证明器