PanLinx

普通话cmn-000
定理证明程序
Hànyǔcmn-003dìng lǐ zhèng míng chéng xù
Englisheng-000theorem prover
ئۇيغۇرچەuig-000تېئورېما ئىسپاتلاش پروگراممىسى ڭ
Uyghurcheuig-001téoréma ispatlash programmisi ng


PanLex

PanLex-PanLinx