PanLinx
русский
rus-000
полная формализация
English
eng-000
complete formalization
PanLex