PanLinx
русский
rus-000
строгие рассуждения
English
eng-000
exact reasoning
PanLex