PanLinx
Uyghurche
uig-001
programmining toghriliq ispati
普通话
cmn-000
程序正确性证明
Hànyǔ
cmn-003
chéng xù zhèng què xìng zhèng míng
PanLex