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