PanLinx
English
eng-000
rigorously proven
русский
rus-000
строго доказанный
PanLex