PanLinx
русский
rus-000
формальное рассуждение
English
eng-000
formal reasoning
PanLex
