PanLinx
English
eng-000
mathematical evidence
русский
rus-000
математическое доказательство
PanLex