PanLinx

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


PanLex

PanLex-PanLinx