PanLinx
русский
rus-000
условный верификатор
English
eng-000
assertion checker
українська
ukr-000
умовний веріфікатор
PanLex