定理证明程式

定理证明程式

拼音： dìng lǐ zhèng míng chéng shì
日本語訳 セオレムプルーバ