PanLinx
ئۇيغۇرچە
uig-000
پروگرامما لايىھىلەشنىڭ لوگىكىلىق ئىسپاتى
普通话
cmn-000
程序设计逻辑性证明
Hànyǔ
cmn-003
chéng xù shè jì luó jí xìng zhèng míng
PanLex
