PanLinx
русский
rus-000
доказательство теоремы
English
eng-000
theorem proving
PanLex