PanLinx
русский
rus-000
формальное решение
English
eng-000
formal solution
PanLex