PanLinx
ภาษาไทย
tha-000
ที่พิสูจน์ได้
English
eng-000
provable
English
eng-000
testable
English
eng-000
verifiable
PanLex
