PanLinx
русский
rus-000
формально доказывать
English
eng-000
prove formally
PanLex