تىئورېما ئىسپاتلاش سىستېمىسى

ئۇنىۋېرسال 定理证明系统 dìng lǐ zhèng míng xì tǒng