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