PanLinx
ئۇيغۇرچە
uig-000
پروگرامما توغرىلىق ئىسپاتى
普通话
cmn-000
程序正确性证明
Hànyǔ
cmn-003
chéng xù zhèng què xìng zhèng míng
ئۇيغۇرچە
uig-000
پروگراممىنىڭ توغرىلىق ئىسپاتى
PanLex
