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